| 
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Relation | |
|---|---|
| org.sat4j.csp.constraints | Classes needed for CSP to SAT translation. | 
| org.sat4j.reader | |
| Uses of Relation in org.sat4j.csp.constraints | 
|---|
| Classes in org.sat4j.csp.constraints that implement Relation | |
|---|---|
 class | 
BessiereSupports
 | 
 class | 
GentSupports
 | 
 class | 
Nogoods
 | 
 class | 
Supports
 | 
 class | 
WalshSupports
 | 
| Uses of Relation in org.sat4j.reader | 
|---|
| Fields in org.sat4j.reader declared as Relation | |
|---|---|
protected  Relation[] | 
CSPReader.relations
 | 
  | 
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||