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

M?

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

M�thode appel�e quand la variable x est d�saffect�e.

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

M?

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

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

M�thode appel�e quand la variable x est d�saffect�e.

Undoable - Interface in org.sat4j.minisat.core

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

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.

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

Appel�e lorsque l'activit� de la variable x a chang�.