org.sat4j.reader
Class CSPSupportReader

java.lang.Object
  org.sat4j.reader.Reader
      org.sat4j.reader.CSPReader
          org.sat4j.reader.CSPSupportReader

All Implemented Interfaces:

org.sat4j.csp.xml.ICSPCallback

public class CSPSupportReader
extends CSPReader

Constructor Summary

CSPSupportReader(ISolver solver)

Method Summary

Methods inherited from class org.sat4j.reader.CSPReader

addConstantParameter, addDomainValue, addDomainValue, addEffectiveParameter, addEffectiveParameter, addFormalParameter, addIntegerItem, addRelationTuple, addVariable, addVariableItem, addVariableToConstraint, beginConstraint, beginConstraintsSection, beginDomain, beginDomainsSection, beginInstance, beginParameterList, beginPredicate, beginPredicatesSection, beginRelation, beginRelationsSection, beginVariablesSection, constraintExpression, constraintReference, decode, decode, endConstraint, endConstraintsSection, endDomain, endDomainsSection, endInstance, endParamaterList, endPredicate, endPredicatesSection, endRelation, endRelationsSection, endVariablesSection, parseInstance, predicateExpression

Methods inherited from class org.sat4j.reader.Reader

isVerbose, parseInstance, parseInstance, setVerbosity

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CSPSupportReader

public CSPSupportReader(ISolver solver)