A B C D E F G H I J L M N O P R S T U V W X

U

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

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

UNDEFINED - Static variable in interface org.sat4j.minisat.core.ILits

undo(int) - Method in class org.sat4j.minisat.constraints.card.AtLeast

undo(int) - Method in class org.sat4j.minisat.constraints.card.MaxWatchCard

M?

undo(int) - Method in class org.sat4j.minisat.constraints.card.MinWatchCard

Updates information on the constraint in case of a backtrack

undo(int) - Method in class org.sat4j.minisat.constraints.cnf.BinaryClauses

undo(int) - Method in class org.sat4j.minisat.constraints.cnf.CBClause

undo(int) - Method in class org.sat4j.minisat.constraints.cnf.TernaryClauses

undo(int) - Method in class org.sat4j.minisat.constraints.pb.MaxWatchPb

M?

undo(int) - Method in class org.sat4j.minisat.constraints.pb.MinWatchPb

M???

undo(int) - Method in interface org.sat4j.minisat.core.IOrder

Method called when a variable is unassigned.

undo(int) - Method in interface org.sat4j.minisat.core.Undoable

Method called when backtracking

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

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

Methode appelee quand la variable x est desaffectee.

Undoable - Interface in org.sat4j.minisat.core

Interface providing the undoable service.

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

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

UnitPropagationListener - Interface in org.sat4j.minisat.core

Interface providing the unit propagation capability.

unsafeGet(int) - Method in class org.sat4j.core.VecInt

unsafeGet(int) - Method in interface org.sat4j.specs.IVecInt

unsafePush(T) - Method in class org.sat4j.core.Vec

unsafePush(int) - Method in class org.sat4j.core.VecInt

unsafePush(T) - Method in interface org.sat4j.specs.IVec

To push an element in the vector when you know you have space for it.

unsafePush(int) - Method in interface org.sat4j.specs.IVecInt

Push the element in the Vector without verifying if there is room for it.

updateSlack(int) - Method in class org.sat4j.minisat.constraints.pb.ConflictMap

updateSlack(int) - Method in interface org.sat4j.minisat.constraints.pb.IConflict

updateVar(int) - Method in interface org.sat4j.minisat.core.IOrder

To be called when the activity of a literal changed.

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

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

Appelee lorsque l'activite de la variable x a change.

updateVar(int) - Method in class org.sat4j.minisat.orders.VarOrderHeapObjective

updateVar(int) - Method in class org.sat4j.minisat.orders.VarOrderHeapRsat