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

Packages that use ICSPCallback

Package	Description
org.sat4j.csp.main
org.sat4j.csp.xml

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)