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
G
get(int)
- Method in class org.sat4j.core.
Vec
get(int)
- Method in class org.sat4j.core.
VecInt
get(int)
- Method in class org.sat4j.minisat.constraints.card.
AtLeast
get(int)
- Method in class org.sat4j.minisat.constraints.card.
MaxWatchCard
get(int)
- Method in class org.sat4j.minisat.constraints.card.
MinWatchCard
get(int)
- Method in class org.sat4j.minisat.constraints.cnf.
BinaryClauses
get(int)
- Method in class org.sat4j.minisat.constraints.cnf.
CBClause
get(int)
- Method in class org.sat4j.minisat.constraints.cnf.
TernaryClauses
get(int)
- Method in class org.sat4j.minisat.constraints.cnf.
WLClause
Retourne le ieme literal de la clause.
get(int)
- Method in class org.sat4j.minisat.constraints.pb.
WatchPb
Permet d'obtenir le i-???
get(int)
- Method in interface org.sat4j.specs.
IConstr
returns the ith literal in the constraint
get(int)
- Method in interface org.sat4j.specs.
IVec
get(int)
- Method in interface org.sat4j.specs.
IVecInt
getActivity()
- Method in class org.sat4j.minisat.constraints.card.
AtLeast
getActivity()
- Method in class org.sat4j.minisat.constraints.card.
MaxWatchCard
Obtenir la valeur de l'activit?
getActivity()
- Method in class org.sat4j.minisat.constraints.card.
MinWatchCard
Obtenir la valeur de l'activit?
getActivity()
- Method in class org.sat4j.minisat.constraints.cnf.
BinaryClauses
getActivity()
- Method in class org.sat4j.minisat.constraints.cnf.
CBClause
getActivity()
- Method in class org.sat4j.minisat.constraints.cnf.
TernaryClauses
getActivity()
- Method in class org.sat4j.minisat.constraints.cnf.
WLClause
getActivity()
- Method in class org.sat4j.minisat.constraints.pb.
WatchPb
Obtenir la valeur de l'activit???
getActivity()
- Method in interface org.sat4j.minisat.core.
Constr
getBacktrackLevel(int)
- Method in class org.sat4j.minisat.constraints.pb.
WatchPb
retourne le niveau de backtrack : c'est-?
getClaDecay()
- Method in class org.sat4j.minisat.core.
SearchParams
getCoef(int)
- Method in class org.sat4j.minisat.constraints.pb.
WatchPb
Permet d'obtenir le i-???
getCoeffs()
- Method in class org.sat4j.reader.
ObjectiveFunction
getCoeffs()
- Method in class org.sat4j.reader.
OPBReader2005
getDegree()
- Method in class org.sat4j.minisat.constraints.pb.
WatchPb
getDSFactory()
- Method in class org.sat4j.minisat.core.
Solver
getFromPool(int)
- Method in class org.sat4j.minisat.constraints.cnf.
Lits
getFromPool(int)
- Method in interface org.sat4j.minisat.core.
ILits
getId()
- Method in class org.sat4j.minisat.constraints.cnf.
WLClause
getIthConstr(int)
- Method in class org.sat4j.minisat.core.
Solver
returns the ith constraint in the solver.
getLevel(int)
- Method in class org.sat4j.minisat.constraints.cnf.
Lits
getLevel(int)
- Method in interface org.sat4j.minisat.core.
ILits
getmin()
- Method in class org.sat4j.minisat.core.
Heap
getObjectiveFunction()
- Method in class org.sat4j.reader.
OPBReader2005
getOrder()
- Method in class org.sat4j.minisat.core.
Solver
getOutLearnt()
- Method in class org.sat4j.minisat.core.
Solver
getReason(int)
- Method in class org.sat4j.minisat.constraints.cnf.
Lits
getReason(int)
- Method in interface org.sat4j.minisat.core.
ILits
getStats()
- Method in class org.sat4j.minisat.core.
Solver
getTimeout()
- Method in class org.sat4j.minisat.core.
Solver
getTimeout()
- Method in interface org.sat4j.specs.
ISolver
Useful to check the internal timeout of the solver.
getTimeout()
- Method in class org.sat4j.tools.
SolverDecorator
getVarDecay()
- Method in class org.sat4j.minisat.core.
SearchParams
getVars()
- Method in class org.sat4j.reader.
ObjectiveFunction
getVars()
- Method in class org.sat4j.reader.
OPBReader2005
getVocabulary()
- Method in class org.sat4j.minisat.constraints.
AbstractDataStructureFactory
getVocabulary()
- Method in class org.sat4j.minisat.constraints.
MixedDataStructureWithBinary
getVocabulary()
- Method in class org.sat4j.minisat.constraints.
MixedDataStructureWithBinaryAndTernary
getVocabulary()
- Method in interface org.sat4j.minisat.core.
DataStructureFactory
getVocabulary()
- Method in class org.sat4j.minisat.core.
Solver
getVocabulary()
- Method in class org.sat4j.minisat.orders.
VarOrder
getVocabulary()
- Method in class org.sat4j.minisat.orders.
VarOrderHeap
getWatchesFor(int)
- Method in class org.sat4j.minisat.constraints.
AbstractDataStructureFactory
getWatchesFor(int)
- Method in class org.sat4j.minisat.constraints.
ClausalDataStructureCB
getWatchesFor(int)
- Method in interface org.sat4j.minisat.core.
DataStructureFactory
GoodOPBReader
- Class in
org.sat4j.reader
This class is a quick hack to read opb formatted files.
GoodOPBReader(ISolver)
- Constructor for class org.sat4j.reader.
GoodOPBReader
growTo(int, T)
- Method in class org.sat4j.core.
Vec
growTo(int, int)
- Method in class org.sat4j.core.
VecInt
growTo(int, T)
- Method in interface org.sat4j.specs.
IVec
growTo(int, int)
- Method in interface org.sat4j.specs.
IVecInt
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