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

Packages that use ICSPCallback

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

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)