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

compute the reason for the assignment of a literal

calcReason(int, IVecInt) - Method in interface org.sat4j.minisat.core.Constr

Compute the reason for a given assignment.

calculateDegree(int[]) - Method in class org.sat4j.opt.ObjectiveFunction

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

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

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

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

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

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

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> - Class in org.sat4j.minisat.learning

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

Clausifiable - Interface in org.sat4j.reader.csp

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

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

coefficientsEqualToOne(IVec<BigInteger>) - Static method in class org.sat4j.minisat.constraints.AbstractCardinalityDataStructure

coefficientsEqualToOne() - Method in class org.sat4j.minisat.constraints.pb.WatchPb

COMMENT - Static variable in class org.sat4j.ResultsManager

COMMENT_PREFIX - Static variable in class org.sat4j.AbstractLauncher

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

compare(String, ExitCode) - Method in class org.sat4j.ResultsManager

computeAnImpliedClause() - Method in class org.sat4j.minisat.constraints.pb.AtLeastPB

computeAnImpliedClause() - Method in class org.sat4j.minisat.constraints.pb.MinWatchCardPB

computeAnImpliedClause() - Method in class org.sat4j.minisat.constraints.pb.MixableCBClausePB

computeAnImpliedClause() - Method in interface org.sat4j.minisat.constraints.pb.PBConstr

computeAnImpliedClause() - Method in class org.sat4j.minisat.constraints.pb.WatchPb

compute an implied clause on the literals with the greater coefficients

computeAnImpliedClause() - Method in class org.sat4j.minisat.constraints.pb.WLClausePB

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

ConflictMap - Class in org.sat4j.minisat.constraints.pb

ConflictMapCardinality - Class in org.sat4j.minisat.constraints.pb

ConflictMapCardinality(Map<Integer, BigInteger>, BigInteger, ILits, int) - Constructor for class org.sat4j.minisat.constraints.pb.ConflictMapCardinality

ConflictMapClause - Class in org.sat4j.minisat.constraints.pb

ConflictMapClause(Map<Integer, BigInteger>, BigInteger, ILits, int) - Constructor for class org.sat4j.minisat.constraints.pb.ConflictMapClause

ConflictMapMerging - Class in org.sat4j.minisat.constraints.pb

ConflictMapMerging(Map<Integer, BigInteger>, BigInteger, ILits, int) - Constructor for class org.sat4j.minisat.constraints.pb.ConflictMapMerging

conflicts - Variable in class org.sat4j.minisat.core.SolverStats

Constant - Class in org.sat4j.reader.csp

Constant(int) - Constructor for class org.sat4j.reader.csp.Constant

Constr - Interface in org.sat4j.minisat.core

Basic constraint abstraction used in Solver.

constraintExpression(String) - Method in class org.sat4j.reader.CSPReader

constraintReference(String) - Method in class org.sat4j.reader.CSPReader

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.

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

costOf(int) - Method in class org.sat4j.opt.MinCostDecorator

to know the cost of a given var.

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

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

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

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

createConflict(PBConstr, int) - Static method in class org.sat4j.minisat.constraints.pb.ConflictMap

constructs the data structure needed to perform cutting planes

createConflict(PBConstr, int) - Static method in class org.sat4j.minisat.constraints.pb.ConflictMapClause

createConflict(PBConstr, int) - Static method in class org.sat4j.minisat.constraints.pb.ConflictMapMerging

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

createPath() - Static method in class org.sat4j.ResultsManager

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

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

CSPExtSupportReader - Class in org.sat4j.reader

CSPExtSupportReader(ISolver) - Constructor for class org.sat4j.reader.CSPExtSupportReader

CSPLauncher - Class in org.sat4j

CSPLauncher() - Constructor for class org.sat4j.CSPLauncher

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

CSPSupportReader - Class in org.sat4j.reader

CSPSupportReader(ISolver) - Constructor for class org.sat4j.reader.CSPSupportReader

cuttingPlane(PBConstr, BigInteger, BigInteger[], VarActivityListener) - Method in interface org.sat4j.minisat.constraints.pb.IDataStructurePB

cuttingPlane(PBConstr, BigInteger, BigInteger[], BigInteger, VarActivityListener) - Method in interface org.sat4j.minisat.constraints.pb.IDataStructurePB

cuttingPlane(int[], BigInteger[], BigInteger) - Method in interface org.sat4j.minisat.constraints.pb.IDataStructurePB

cuttingPlane(int[], BigInteger[], BigInteger, BigInteger) - Method in interface org.sat4j.minisat.constraints.pb.IDataStructurePB

cuttingPlane(PBConstr, BigInteger, BigInteger[], VarActivityListener) - Method in class org.sat4j.minisat.constraints.pb.MapPb

cuttingPlane(PBConstr, BigInteger, BigInteger[], BigInteger, VarActivityListener) - Method in class org.sat4j.minisat.constraints.pb.MapPb

cuttingPlane(int[], BigInteger[], BigInteger) - Method in class org.sat4j.minisat.constraints.pb.MapPb

cuttingPlane(int[], BigInteger[], BigInteger, BigInteger) - Method in class org.sat4j.minisat.constraints.pb.MapPb