org.sat4j.reader
Class CSPExtSupportReader

java.lang.Object
  extended by org.sat4j.reader.Reader
      extended by org.sat4j.reader.CSPReader
          extended by 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, predicateExpression
 
Methods inherited from class org.sat4j.reader.Reader
isVerbose, parseInstance, 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


Copyright © 2010 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.