A B C D E F G I M N O P R S T U V W X

C

Clausifiable - Interface in org.sat4j.csp

Constant - Class in org.sat4j.csp

Constant(int) - Constructor for class org.sat4j.csp.Constant

constraintExpression(String) - Method in class org.sat4j.reader.CSPReader

constraintReference(String) - Method in class org.sat4j.reader.CSPReader

CSPExtSupportReader - Class in org.sat4j.reader

CSPExtSupportReader(ISolver) - Constructor for class org.sat4j.reader.CSPExtSupportReader

CSPInstanceReader - Class in org.sat4j.reader

An reader having the responsability to choose the right reader according to the input.

CSPInstanceReader(ISolver) - Constructor for class org.sat4j.reader.CSPInstanceReader

CSPLauncher - Class in org.sat4j.csp

CSPLauncher() - Constructor for class org.sat4j.csp.CSPLauncher

CSPReader - Class in org.sat4j.reader

This class is a CSP to SAT translator that is able to read a CSP problem using the First CSP solver competition input format and that translates it into clausal and cardinality (equality) constraints.

CSPReader(ISolver) - Constructor for class org.sat4j.reader.CSPReader

CSPSupportReader - Class in org.sat4j.reader

CSPSupportReader(ISolver) - Constructor for class org.sat4j.reader.CSPSupportReader