org.sat4j.reader

Class CSPSupportReader

java.lang.Object

org.sat4j.reader.Reader

org.sat4j.reader.CSPReader

org.sat4j.reader.CSPSupportReader

All Implemented Interfaces:

ICSPCallback

public class CSPSupportReader
extends CSPReader

Field Summary

Fields inherited from class org.sat4j.reader.CSPReader

relations

Constructor Summary

Constructors

Constructor and Description
CSPSupportReader(org.sat4j.specs.ISolver solver, boolean allDiffCard)

Method Summary

Methods

Modifier and Type	Method and Description
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

CSPSupportReader

public CSPSupportReader(org.sat4j.specs.ISolver solver,
                boolean allDiffCard)

Method Detail

manageAllowedTuples

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

Overrides:

manageAllowedTuples in class CSPReader