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 class org.sat4j.ExitCode

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.core.LiteralsUtils

Returns the variable associated to the literal

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

VarOrder(IPhaseSelectionStrategy) - 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

VarOrderHeap(IPhaseSelectionStrategy) - Constructor for class org.sat4j.minisat.orders.VarOrderHeap

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.