Uses of Interface
org.sat4j.csp.constraints.Relation

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
           
 



Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.