| 
 | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Relation | |
|---|---|
| org.sat4j.csp.constraints | Classes needed for CSP to SAT translation. | 
| org.sat4j.reader | Some utility classes to read problems from plain text files. | 
| 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 | |||||||||