Uses of Interface
org.sat4j.csp.xml.ICSPCallback

Packages that use ICSPCallback

Package	Description
org.sat4j.csp.main
org.sat4j.csp.xml
org.sat4j.reader	Some utility classes to read problems from plain text files.

Uses of ICSPCallback in org.sat4j.csp.main

Classes in org.sat4j.csp.main that implement ICSPCallback

Modifier and Type	Class and Description
class	SimpleCallback

Uses of ICSPCallback in org.sat4j.csp.xml

Methods in org.sat4j.csp.xml with parameters of type ICSPCallback

Modifier and Type	Method and Description
static void	CspXmlParser.parse(ICSPCallback callback, String filename)

Uses of ICSPCallback in org.sat4j.reader

Classes in org.sat4j.reader that implement ICSPCallback

Modifier and Type	Class and Description
class	CSPExtSupportReader
class	CSPReader 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.
class	CSPSupportReader