|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
w1.l1 + w2.l2 + ...
- atLeastNew(UnitPropagationListener, ILits, IVecInt, int) -
Static method in class org.sat4j.pb.constraints.pb.AtLeastPB
-
- atLeastNew(ILits, IVecInt, int) -
Static method in class org.sat4j.pb.constraints.pb.AtLeastPB
-
- AtLeastPB - Class in org.sat4j.pb.constraints.pb
-
- ATMOST -
Static variable in class org.sat4j.pb.constraints.pb.WatchPb
- constant for the initial type of inequality less than or equal
- atMost(int, T...) -
Method in class org.sat4j.pb.tools.DependencyHelper
- Create a constraint stating that at most i domain object should be set to
true.
- atMost(C, int, T...) -
Method in class org.sat4j.pb.tools.DependencyHelper
- Create a constraint stating that at most i domain object should be set to
true.
- atMost(C, BigInteger, WeightedObject<T>...) -
Method in class org.sat4j.pb.tools.DependencyHelper
- Create a PB constraint of the form
w1.l1 + w2.l2 + ...
- atMost(C, int, WeightedObject<T>...) -
Method in class org.sat4j.pb.tools.DependencyHelper
-
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |