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

W

WalshSupports - Class in org.sat4j.reader.csp

WalshSupports(int, int) - Constructor for class org.sat4j.reader.csp.WalshSupports

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

watchPbNew(ILits, IVecInt, IVecInt, boolean, int) - Static method in class org.sat4j.minisat.constraints.pb.PuebloMinWatchPb

watchPbNew(ILits, IVecInt, IVec<BigInteger>, boolean, BigInteger) - Static method in class org.sat4j.minisat.constraints.pb.PuebloMinWatchPb

WeightedMaxSatDecorator - Class in org.sat4j.opt

WeightedMaxSatDecorator(ISolver) - Constructor for class org.sat4j.opt.WeightedMaxSatDecorator

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

WLClausePB - Class in org.sat4j.minisat.constraints.pb

WLClausePB(IVecInt, ILits) - Constructor for class org.sat4j.minisat.constraints.pb.WLClausePB