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.Lanceur.ExitCode

valueOf(String) - Static method in enum org.sat4j.Lanceur.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.

values() - Static method in enum org.sat4j.Lanceur.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.

valueToString(int) - Method in class org.sat4j.minisat.constraints.cnf.Lits

valueToString(int) - Method in interface org.sat4j.minisat.core.ILits

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

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

Vec(int) - Constructor for class org.sat4j.core.Vec

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, int) - Constructor for class org.sat4j.core.VecInt

Construit un vecteur contenant de taille size rempli � l'aide de size pad.