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

W

watch(int, Propagatable) - Method in class org.sat4j.minisat.constraints.cnf.Lits
 
watch(int, Propagatable) - Method in interface org.sat4j.minisat.core.ILits
 
watches(int) - Method in class org.sat4j.minisat.constraints.cnf.Lits
 
watches(int) - Method in interface org.sat4j.minisat.core.ILits
 
WatchPb - Class in org.sat4j.minisat.constraints.pb
 
watchPbNew(ILits, IVecInt, IVecInt, boolean, int) - Static method in class org.sat4j.minisat.constraints.pb.MaxWatchPb
 
watchPbNew(ILits, IVecInt, IVec<BigInteger>, boolean, BigInteger) - Static method in class org.sat4j.minisat.constraints.pb.MaxWatchPb
 
watchPbNew(ILits, IVecInt, IVecInt, boolean, int) - Static method in class org.sat4j.minisat.constraints.pb.MinWatchPb
 
watchPbNew(ILits, IVecInt, IVec<BigInteger>, boolean, BigInteger) - Static method in class org.sat4j.minisat.constraints.pb.MinWatchPb
 
WLClause - Class in org.sat4j.minisat.constraints.cnf
Lazy data structure for clause using Watched Literals.
WLClause(IVecInt, ILits) - Constructor for class org.sat4j.minisat.constraints.cnf.WLClause
Creates a new basic clause

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