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

computes the reason for a literal

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 interface org.sat4j.minisat.core.Constr

Compute the reason for a given assignment.

calculateObjective() - Method in class org.sat4j.opt.MaxSatDecorator

calculateObjective() - Method in class org.sat4j.opt.MinOneDecorator

calculateObjective() - Method in interface org.sat4j.specs.IOptimizationProblem

Compute the value of the objective function for the current solution.

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

ClauseOnlyLearning<L extends ILits,D extends DataStructureFactory<L>> - Class in org.sat4j.minisat.learning

The solver only records among all the constraints only the clauses.

ClauseOnlyLearning() - Constructor for class org.sat4j.minisat.learning.ClauseOnlyLearning

clear() - Method in class org.sat4j.core.ReadOnlyVec

clear() - Method in class org.sat4j.core.ReadOnlyVecInt

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

clearDecorated() - Method in class org.sat4j.tools.SolverDecorator

Method to be called to clear the decorator from its decorated solver.

clearLearntClauses() - Method in class org.sat4j.minisat.core.Solver

clearLearntClauses() - Method in interface org.sat4j.specs.ISolver

clearLearntClauses() - Method in class org.sat4j.tools.DimacsOutputSolver

clearLearntClauses() - Method in class org.sat4j.tools.DimacsStringSolver

clearLearntClauses() - Method in class org.sat4j.tools.SolverDecorator

COMMENT_PREFIX - Static variable in class org.sat4j.AbstractLauncher

compare(A, A) - Method in class org.sat4j.core.DefaultComparator

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 class org.sat4j.minisat.core.DotSearchListener

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

Basic constraint abstraction used in Solver.

contains(int) - Method in class org.sat4j.core.ReadOnlyVecInt

contains(int) - Method in class org.sat4j.core.VecInt

contains(int) - Method in interface org.sat4j.specs.IVecInt

containsAt(int) - Method in class org.sat4j.core.ReadOnlyVecInt

containsAt(int, int) - Method in class org.sat4j.core.ReadOnlyVecInt

containsAt(int) - Method in class org.sat4j.core.VecInt

containsAt(int, int) - Method in class org.sat4j.core.VecInt

containsAt(int) - Method in interface org.sat4j.specs.IVecInt

returns the index of the first occurrence of e, else -1.

containsAt(int, int) - Method in interface org.sat4j.specs.IVecInt

returns the index of the first occurence of e occurring after from (excluded), else -1.

ContradictionException - Exception in org.sat4j.specs

That exception is launched whenever a trivial contradiction is found (e.g.

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.ReadOnlyVec

copyTo(E[]) - Method in class org.sat4j.core.ReadOnlyVec

copyTo(IVecInt) - Method in class org.sat4j.core.ReadOnlyVecInt

copyTo(int[]) - Method in class org.sat4j.core.ReadOnlyVecInt

copyTo(IVec<T>) - Method in class org.sat4j.core.Vec

Ces operations 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 operations 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 operations 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 operations devraient se faire en temps constant.

copyTo(int[]) - Method in interface org.sat4j.specs.IVecInt

COUNT - Static variable in class org.sat4j.reader.ExtendedDimacsReader

COUNT - Static variable in class org.sat4j.tools.ExtendedDimacsArrayReader

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.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.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.MixedDataStructureDaniel

createClause(IVecInt) - Method in class org.sat4j.minisat.constraints.MixedDataStructureDanielCBWL

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

createLits() - Method in class org.sat4j.minisat.constraints.MixedDataStructureWithBinary

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.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 class org.sat4j.minisat.constraints.MixedDataStructureDaniel

createUnregisteredClause(IVecInt) - Method in class org.sat4j.minisat.constraints.MixedDataStructureWithBinary

createUnregisteredClause(IVecInt) - Method in class org.sat4j.minisat.constraints.MixedDataStructureWithBinaryAndTernary

createUnregisteredClause(IVecInt) - Method in interface org.sat4j.minisat.core.DataStructureFactory