Uses of Interface
org.sat4j.csp.Encoding

Packages that use Encoding
org.sat4j.csp.constraints Classes needed for CSP to SAT translation. 
org.sat4j.csp.encodings   
 

Uses of Encoding in org.sat4j.csp.constraints
 

Methods in org.sat4j.csp.constraints that return Encoding
protected  Encoding WalshSupports.chooseEncoding(IVec<Var> scope)
           
protected abstract  Encoding Supports.chooseEncoding(IVec<Var> scope)
           
protected  Encoding GentSupports.chooseEncoding(IVec<Var> scope)
           
protected  Encoding BessiereSupports.chooseEncoding(IVec<Var> scope)
           
 

Uses of Encoding in org.sat4j.csp.encodings
 

Classes in org.sat4j.csp.encodings that implement Encoding
 class BinarySupportEncoding
           
 class DirectEncoding
           
 class GeneralizedSupportEncoding
           
 

Methods in org.sat4j.csp.encodings that return Encoding
static Encoding GeneralizedSupportEncoding.instance()
           
static Encoding BinarySupportEncoding.instance()
           
static Encoding DirectEncoding.instance()
           
 



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