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
V
value()
- Method in enum org.sat4j.
ExitCode
valueOf(String)
- Static method in enum org.sat4j.
ExitCode
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum org.sat4j.minisat.core.
Lbool
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum org.sat4j.
ResultCode
Returns the enum constant of this type with the specified name.
values()
- Static method in enum org.sat4j.
ExitCode
Returns an array containing the constants of this enum type, in the order they're declared.
values()
- Static method in enum org.sat4j.minisat.core.
Lbool
Returns an array containing the constants of this enum type, in the order they're declared.
values()
- Static method in enum org.sat4j.
ResultCode
Returns an array containing the constants of this enum type, in the order they're declared.
valueToString(int)
- Method in class org.sat4j.minisat.constraints.cnf.
Lits
valueToString(int)
- Method in interface org.sat4j.minisat.core.
ILits
var(int)
- Static method in class org.sat4j.minisat.core.
LiteralsUtils
varActivity(int)
- Method in interface org.sat4j.minisat.core.
IOrder
To obtain the current activity of a variable.
varActivity(int)
- Method in class org.sat4j.minisat.orders.
VarOrder
varActivity(int)
- Method in class org.sat4j.minisat.orders.
VarOrderHeap
VarActivityListener
- Interface in
org.sat4j.minisat.core
varBumpActivity(int)
- Method in class org.sat4j.minisat.core.
Solver
varBumpActivity(int)
- Method in interface org.sat4j.minisat.core.
VarActivityListener
Update the activity of a variable v.
varDecayActivity()
- Method in interface org.sat4j.minisat.core.
IOrder
varDecayActivity()
- Method in class org.sat4j.minisat.orders.
VarOrder
varDecayActivity()
- Method in class org.sat4j.minisat.orders.
VarOrderHeap
VarOrder
- Class in
org.sat4j.minisat.orders
VarOrder()
- Constructor for class org.sat4j.minisat.orders.
VarOrder
VarOrderHeap
- Class in
org.sat4j.minisat.orders
VarOrderHeap()
- Constructor for class org.sat4j.minisat.orders.
VarOrderHeap
VarOrderHeapObjective
- Class in
org.sat4j.minisat.orders
VarOrderHeapObjective()
- Constructor for class org.sat4j.minisat.orders.
VarOrderHeapObjective
Vec
<
T
> - Class in
org.sat4j.core
Simple but efficient vector implementation, based on the vector implementation available in MiniSAT.
Vec()
- Constructor for class org.sat4j.core.
Vec
Create a Vector with an initial capacity of 5 elements.
Vec(T[])
- Constructor for class org.sat4j.core.
Vec
Adapter method to translate an array of int into an IVec.
Vec(int)
- Constructor for class org.sat4j.core.
Vec
Create a Vector with a given capacity.
Vec(int, T)
- Constructor for class org.sat4j.core.
Vec
Construit un vecteur contenant de taille size rempli � l'aide de size pad.
VecInt
- Class in
org.sat4j.core
A vector specific for primitive integers, widely used in the solver.
VecInt()
- Constructor for class org.sat4j.core.
VecInt
VecInt(int)
- Constructor for class org.sat4j.core.
VecInt
VecInt(int[])
- Constructor for class org.sat4j.core.
VecInt
Adapter method to translate an array of int into an IVecInt.
VecInt(int, int)
- Constructor for class org.sat4j.core.
VecInt
Build a vector of a given initial size filled with an integer.
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