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
D
DataStructureFactory
- Interface in
org.sat4j.minisat.core
decisionLevel()
- Method in class org.sat4j.minisat.core.
Solver
decisions
- Variable in class org.sat4j.minisat.core.
SolverStats
DecisionUIP
- Class in
org.sat4j.minisat.uip
Decision UIP scheme for building an asserting clause.
DecisionUIP()
- Constructor for class org.sat4j.minisat.uip.
DecisionUIP
decode(int[])
- Method in class org.sat4j.reader.
CSPReader
decode(int[])
- Method in class org.sat4j.reader.
DimacsReader
decode(int[])
- Method in class org.sat4j.reader.
GoodOPBReader
decode(int[])
- Method in class org.sat4j.reader.
InstanceReader
decode(int[])
- Method in class org.sat4j.reader.
LecteurDimacs
decode(int[])
- Method in class org.sat4j.reader.
OPBReader2005
decode(int[])
- Method in class org.sat4j.reader.
Reader
Produce a model using the reader format.
decode2dimacs(int)
- Static method in class org.sat4j.minisat.core.
Solver
decode the internal representation of a literal into Dimacs format.
decorated()
- Method in class org.sat4j.tools.
SolverDecorator
DefaultComparator
<
A
extends java.lang.Comparable<
A
>> - Class in
org.sat4j.core
DefaultComparator()
- Constructor for class org.sat4j.core.
DefaultComparator
defaultSolver()
- Method in class org.sat4j.core.
ASolverFactory
To obtain the default solver of the library.
defaultSolver()
- Method in class org.sat4j.minisat.
SolverFactory
delete(int)
- Method in class org.sat4j.core.
Vec
Delete the ith element of the vector.
delete(int)
- Method in class org.sat4j.core.
VecInt
Delete the ith element of the vector.
delete(int[])
- Method in class org.sat4j.minisat.core.
DotSearchListener
delete(int[])
- Method in interface org.sat4j.minisat.core.
SearchListener
delete a clause
delete(int[])
- Method in class org.sat4j.minisat.core.
TextOutputListener
delete(int)
- Method in interface org.sat4j.specs.
IVec
Delete the ith element of the vector.
delete(int)
- Method in interface org.sat4j.specs.
IVecInt
Delete the ith element of the vector.
dequeue()
- Method in class org.sat4j.minisat.core.
IntQueue
returns the nexdt element in the queue.
DimacsReader
- Class in
org.sat4j.reader
Very simple Dimacs file parser.
DimacsReader(ISolver)
- Constructor for class org.sat4j.reader.
DimacsReader
DimacsReader(ISolver, String)
- Constructor for class org.sat4j.reader.
DimacsReader
disableNumberOfConstraintCheck()
- Method in class org.sat4j.reader.
DimacsReader
discard()
- Method in class org.sat4j.opt.
MaxSatDecorator
discard()
- Method in class org.sat4j.opt.
MinOneDecorator
discard()
- Method in class org.sat4j.opt.
PseudoOptDecorator
discard()
- Method in class org.sat4j.opt.
WeightedMaxSatDecorator
discard()
- Method in interface org.sat4j.specs.
IOptimizationProblem
DotSearchListener
- Class in
org.sat4j.minisat.core
DotSearchListener(String)
- Constructor for class org.sat4j.minisat.core.
DotSearchListener
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