PBSugar version 1.1.1 Core API Specification

pbsugar.encoder
Class CM

java.lang.Object
  extended by pbsugar.encoder.CM
Direct Known Subclasses:
SharedCM, SimpleCM

public abstract class CM
extends Object


Field Summary
static boolean CHECK_DOMAIN
           
static boolean ORDER_AXIOMS
           
 
Constructor Summary
CM(int[] as, int[] xs, int m, PBEncoder encoder)
           
 
Method Summary
 int[] as()
           
 int elem(int i, int j)
           
abstract  int elem0(int i, int j)
           
abstract  void encode()
           
 List<Clause> encodeCmp(String cmp, int b)
           
 void encodeSum(String sum, Domain domain)
           
 CMkey key()
           
 int m()
           
 int n()
           
 int neg(int lit)
           
 CMkey sharableKey()
           
 int sumCode(String sum, Domain domain, int value)
           
 String toString()
           
 int[] xs()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

ORDER_AXIOMS

public static boolean ORDER_AXIOMS

CHECK_DOMAIN

public static boolean CHECK_DOMAIN
Constructor Detail

CM

public CM(int[] as,
          int[] xs,
          int m,
          PBEncoder encoder)
Method Detail

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 version 1.1.1 Core API Specification

PBSugar: SAT-based Pseudo Boolean Constraint Solver