A B C D E F G H I J L M N O P R S T U V W X

C

calcReason(int, IVecInt) - Method in class org.sat4j.minisat.constraints.card.AtLeast
 
calcReason(int, IVecInt) - Method in class org.sat4j.minisat.constraints.card.MaxWatchCard
Calcule la cause de l'affection d'un litt?
calcReason(int, IVecInt) - Method in class org.sat4j.minisat.constraints.card.MinWatchCard
Calcule la cause de l'affection d'un litt?
calcReason(int, IVecInt) - Method in class org.sat4j.minisat.constraints.cnf.BinaryClauses
 
calcReason(int, IVecInt) - Method in class org.sat4j.minisat.constraints.cnf.CBClause
 
calcReason(int, IVecInt) - Method in class org.sat4j.minisat.constraints.cnf.TernaryClauses
 
calcReason(int, IVecInt) - Method in class org.sat4j.minisat.constraints.cnf.WLClause
 
calcReason(int, IVecInt) - Method in class org.sat4j.minisat.constraints.pb.WatchPb
Calcule la cause de l'affectation d'un litt???
calcReason(int, IVecInt) - Method in interface org.sat4j.minisat.core.Constr
Calcule la cause de l'affection d'un litt?
calculateDegree(int[]) - Method in class org.sat4j.reader.ObjectiveFunction
 
CardDimacsReader - Class in org.sat4j.reader
Deprecated. 
CardDimacsReader(ISolver) - Constructor for class org.sat4j.reader.CardDimacsReader
Deprecated.  
CardinalityDataStructure - Class in org.sat4j.minisat.constraints
 
CardinalityDataStructure() - Constructor for class org.sat4j.minisat.constraints.CardinalityDataStructure
 
CardinalityDataStructureYanMax - Class in org.sat4j.minisat.constraints
 
CardinalityDataStructureYanMax() - Constructor for class org.sat4j.minisat.constraints.CardinalityDataStructureYanMax
 
CardinalityDataStructureYanMin - Class in org.sat4j.minisat.constraints
 
CardinalityDataStructureYanMin() - Constructor for class org.sat4j.minisat.constraints.CardinalityDataStructureYanMin
 
CBClause - Class in org.sat4j.minisat.constraints.cnf
 
CBClause(IVecInt, ILits, boolean) - Constructor for class org.sat4j.minisat.constraints.cnf.CBClause
 
CBClause(IVecInt, ILits) - Constructor for class org.sat4j.minisat.constraints.cnf.CBClause
 
changedreason - Variable in class org.sat4j.minisat.core.SolverStats
 
claBumpActivity(Constr) - Method in class org.sat4j.minisat.core.Solver
Propagate activity to a constraint
ClausalDataStructureCB - Class in org.sat4j.minisat.constraints
 
ClausalDataStructureCB() - Constructor for class org.sat4j.minisat.constraints.ClausalDataStructureCB
 
ClausalDataStructureCBWL - Class in org.sat4j.minisat.constraints
 
ClausalDataStructureCBWL() - Constructor for class org.sat4j.minisat.constraints.ClausalDataStructureCBWL
 
ClausalDataStructureWL - Class in org.sat4j.minisat.constraints
 
ClausalDataStructureWL() - Constructor for class org.sat4j.minisat.constraints.ClausalDataStructureWL
 
clauseNonAssertive(IConstr) - Method in interface org.sat4j.minisat.core.AssertingClauseGenerator
method indicating if an asserting clause has been built. note that this method is called right after a resolution step is finished.
clauseNonAssertive(IConstr) - Method in class org.sat4j.minisat.uip.DecisionUIP
 
clauseNonAssertive(IConstr) - Method in class org.sat4j.minisat.uip.FirstUIP
 
clear() - Method in class org.sat4j.core.Vec
 
clear() - Method in class org.sat4j.core.VecInt
 
clear() - Method in class org.sat4j.minisat.core.IntQueue
Vide la queue
clear() - Method in interface org.sat4j.specs.IVec
 
clear() - Method in interface org.sat4j.specs.IVecInt
 
conflictBoundIncFactor - Variable in class org.sat4j.minisat.core.SearchParams
 
conflictDetectedInWatchesFor(int, int) - Method in class org.sat4j.minisat.constraints.AbstractDataStructureFactory
 
conflictDetectedInWatchesFor(int, int) - Method in class org.sat4j.minisat.constraints.ClausalDataStructureCB
 
conflictDetectedInWatchesFor(int, int) - Method in interface org.sat4j.minisat.core.DataStructureFactory
 
conflictFound() - Method in interface org.sat4j.minisat.core.SearchListener
a conflict has been found.
conflictFound() - Method in class org.sat4j.minisat.core.TextOutputListener
 
conflicts - Variable in class org.sat4j.minisat.core.SolverStats
 
Constr - Interface in org.sat4j.minisat.core
 
contains(int) - Method in class org.sat4j.core.VecInt
 
contains(int) - Method in interface org.sat4j.specs.IVecInt
 
ContradictionException - Exception in org.sat4j.specs
That exception is launched whenever a trivial contradiction is found (e.g. null clause).
ContradictionException() - Constructor for exception org.sat4j.specs.ContradictionException
 
ContradictionException(String) - Constructor for exception org.sat4j.specs.ContradictionException
 
ContradictionException(Throwable) - Constructor for exception org.sat4j.specs.ContradictionException
 
ContradictionException(String, Throwable) - Constructor for exception org.sat4j.specs.ContradictionException
 
copyTo(IVec<T>) - Method in class org.sat4j.core.Vec
Ces op�rations devraient se faire en temps constant.
copyTo(E[]) - Method in class org.sat4j.core.Vec
 
copyTo(IVecInt) - Method in class org.sat4j.core.VecInt
C'est op�rations devraient se faire en temps constant.
copyTo(int[]) - Method in class org.sat4j.core.VecInt
 
copyTo(IVec<T>) - Method in interface org.sat4j.specs.IVec
Ces op�rations devraient se faire en temps constant.
copyTo(E[]) - Method in interface org.sat4j.specs.IVec
 
copyTo(IVecInt) - Method in interface org.sat4j.specs.IVecInt
C'est op�rations devraient se faire en temps constant.
copyTo(int[]) - Method in interface org.sat4j.specs.IVecInt
 
COUNT - Static variable in class org.sat4j.reader.ExtendedDimacsReader
 
countSolutions() - Method in class org.sat4j.tools.SolutionCounter
 
createCardinalityConstraint(IVecInt, int) - Method in class org.sat4j.minisat.constraints.AbstractDataStructureFactory
 
createCardinalityConstraint(IVecInt, int) - Method in class org.sat4j.minisat.constraints.AbstractPBDataStructureFactory
 
createCardinalityConstraint(IVecInt, int) - Method in class org.sat4j.minisat.constraints.CardinalityDataStructure
 
createCardinalityConstraint(IVecInt, int) - Method in class org.sat4j.minisat.constraints.CardinalityDataStructureYanMax
 
createCardinalityConstraint(IVecInt, int) - Method in class org.sat4j.minisat.constraints.CardinalityDataStructureYanMin
 
createCardinalityConstraint(IVecInt, int) - Method in class org.sat4j.minisat.constraints.MixedDataStructureDaniel
 
createCardinalityConstraint(IVecInt, int) - Method in interface org.sat4j.minisat.core.DataStructureFactory
 
createClause(IVecInt) - Method in class org.sat4j.minisat.constraints.AbstractPBDataStructureFactory
 
createClause(IVecInt) - Method in class org.sat4j.minisat.constraints.CardinalityDataStructure
 
createClause(IVecInt) - Method in class org.sat4j.minisat.constraints.CardinalityDataStructureYanMax
 
createClause(IVecInt) - Method in class org.sat4j.minisat.constraints.CardinalityDataStructureYanMin
 
createClause(IVecInt) - Method in class org.sat4j.minisat.constraints.ClausalDataStructureCB
 
createClause(IVecInt) - Method in class org.sat4j.minisat.constraints.ClausalDataStructureCBWL
 
createClause(IVecInt) - Method in class org.sat4j.minisat.constraints.ClausalDataStructureWL
 
createClause(IVecInt) - Method in class org.sat4j.minisat.constraints.MixedDataStructureWithBinary
 
createClause(IVecInt) - Method in class org.sat4j.minisat.constraints.MixedDataStructureWithBinaryAndTernary
 
createClause(IVecInt) - Method in interface org.sat4j.minisat.core.DataStructureFactory
 
createPseudoBooleanConstraint(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in class org.sat4j.minisat.constraints.AbstractCardinalityDataStructure
 
createPseudoBooleanConstraint(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in class org.sat4j.minisat.constraints.AbstractDataStructureFactory
 
createPseudoBooleanConstraint(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in class org.sat4j.minisat.constraints.AbstractPBDataStructureFactory
 
createPseudoBooleanConstraint(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in interface org.sat4j.minisat.core.DataStructureFactory
 
createSolverByName(String) - Method in class org.sat4j.core.ASolverFactory
create a solver from its String name. the solvername Xxxx must map one of the newXxxx methods.
createUnregisteredClause(IVecInt) - Method in class org.sat4j.minisat.constraints.AbstractPBDataStructureFactory
 
createUnregisteredClause(IVecInt) - Method in class org.sat4j.minisat.constraints.CardinalityDataStructure
 
createUnregisteredClause(IVecInt) - Method in class org.sat4j.minisat.constraints.CardinalityDataStructureYanMax
 
createUnregisteredClause(IVecInt) - Method in class org.sat4j.minisat.constraints.CardinalityDataStructureYanMin
 
createUnregisteredClause(IVecInt) - Method in class org.sat4j.minisat.constraints.ClausalDataStructureCB
 
createUnregisteredClause(IVecInt) - Method in class org.sat4j.minisat.constraints.ClausalDataStructureCBWL
 
createUnregisteredClause(IVecInt) - Method in class org.sat4j.minisat.constraints.ClausalDataStructureWL
 
createUnregisteredClause(IVecInt) - Method in interface org.sat4j.minisat.core.DataStructureFactory
 
createUnregisteredPseudoBooleanConstraint(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.minisat.constraints.AbstractDataStructureFactory
 
createUnregisteredPseudoBooleanConstraint(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.minisat.constraints.AbstractPBDataStructureFactory
 
createUnregisteredPseudoBooleanConstraint(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in class org.sat4j.minisat.constraints.AbstractPBDataStructureFactory
 
createUnregisteredPseudoBooleanConstraint(IVecInt, IVec<BigInteger>, BigInteger) - Method in interface org.sat4j.minisat.constraints.pb.IInternalPBConstraintCreator
 
createUnregisteredPseudoBooleanConstraint(IVecInt, IVec<BigInteger>, BigInteger) - Method in interface org.sat4j.minisat.core.DataStructureFactory
 
CSPReader - Class in org.sat4j.reader
This class is a CSP to SAT translator that is able to read a CSP problem using the First CSP solver competition input format and that translates it into clausal and cardinality (equality) constraints.
CSPReader(ISolver) - Constructor for class org.sat4j.reader.CSPReader
 

A B C D E F G H I J L M N O P R S T U V W X