|
||||||||||
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 |