org.sat4j.reader
Class CSPExtSupportReader

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

All Implemented Interfaces:

ICSPCallback

public class CSPExtSupportReader
extends CSPReader

Field Summary

Fields inherited from class org.sat4j.reader.CSPReader

relations

Constructor Summary

CSPExtSupportReader(ISolver solver)

Method Summary

protected void

manageAllowedTuples(int relnum, int arity, int nbtuples)

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, parseInstance, predicateExpression

Methods inherited from class org.sat4j.reader.Reader

isVerbose, parseInstance, setVerbosity

Methods inherited from class java.lang.Object

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

Constructor Detail

CSPExtSupportReader

public CSPExtSupportReader(ISolver solver)

Method Detail

manageAllowedTuples

protected void manageAllowedTuples(int relnum,
                                   int arity,
                                   int nbtuples)

Overrides:

manageAllowedTuples in class CSPReader