Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
X