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

values() - Static method in enum org.sat4j.ResultCode

Returns an array containing the constants of this enum type, in the order they are 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

Var - Class in org.sat4j.reader.csp

Var(String, Domain, int) - Constructor for class org.sat4j.reader.csp.Var

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

Interface providing the capability to increase the activity of a given variable.

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

Decay the variables activities.

varDecayActivity() - Method in class org.sat4j.minisat.orders.VarOrder

varDecayActivity() - Method in class org.sat4j.minisat.orders.VarOrderHeap

VarOrder<L extends ILits> - Class in org.sat4j.minisat.orders

VarOrder() - Constructor for class org.sat4j.minisat.orders.VarOrder

VarOrderHeap<L extends ILits> - 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

VarOrderHeapRsat - Class in org.sat4j.minisat.orders

Heuristics that remembers the latest assignment if any as proposed in Rsat.

VarOrderHeapRsat() - Constructor for class org.sat4j.minisat.orders.VarOrderHeapRsat

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