pbsugar.encoder
Class CM
java.lang.Object
pbsugar.encoder.CM
- Direct Known Subclasses:
- SharedCM, SimpleCM
public abstract class CM
- extends Object
Constructor Summary |
CM(int[] as,
int[] xs,
int m,
PBEncoder encoder)
|
ORDER_AXIOMS
public static boolean ORDER_AXIOMS
CHECK_DOMAIN
public static boolean CHECK_DOMAIN
CM
public CM(int[] as,
int[] xs,
int m,
PBEncoder encoder)
n
public int n()
m
public int m()
as
public int[] as()
xs
public int[] xs()
key
public CMkey key()
sharableKey
public CMkey sharableKey()
neg
public int neg(int lit)
elem0
public abstract int elem0(int i,
int j)
elem
public int elem(int i,
int j)
encode
public abstract void encode()
throws IOException
- Throws:
IOException
encodeCmp
public List<Clause> encodeCmp(String cmp,
int b)
encodeSum
public void encodeSum(String sum,
Domain domain)
throws IOException
- Throws:
IOException
sumCode
public int sumCode(String sum,
Domain domain,
int value)
toString
public String toString()
- Overrides:
toString
in class Object
PBSugar: SAT-based Pseudo Boolean Constraint Solver