PBSugar version 1.1.1 Core API Specification

pbsugar.encoder
Class SimpleCM

java.lang.Object
  extended by pbsugar.encoder.CM
      extended by pbsugar.encoder.SimpleCM

public class SimpleCM
extends CM


Field Summary
 
Fields inherited from class pbsugar.encoder.CM
CHECK_DOMAIN, ORDER_AXIOMS
 
Constructor Summary
SimpleCM(int[] as, int[] xs, int m, PBEncoder encoder)
           
 
Method Summary
 int elem0(int i, int j)
           
 void encode()
           
 
Methods inherited from class pbsugar.encoder.CM
as, elem, encodeCmp, encodeSum, key, m, n, neg, sharableKey, sumCode, toString, xs
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

SimpleCM

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

elem0

public int elem0(int i,
                 int j)
Specified by:
elem0 in class CM

encode

public void encode()
            throws IOException
Specified by:
encode in class CM
Throws:
IOException

PBSugar version 1.1.1 Core API Specification

PBSugar: SAT-based Pseudo Boolean Constraint Solver