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

Packages that use ICSPCallback

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

class

SimpleCallback

Uses of ICSPCallback in org.sat4j.csp.xml

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

static void

CspXmlParser.parse(ICSPCallback callback, String filename)

Uses of ICSPCallback in org.sat4j.reader

Classes in org.sat4j.reader that implement ICSPCallback

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