PBSugar version 1.1.1 Core API Specification

pbsugar.encoder
Class CMkey

java.lang.Object
  extended by pbsugar.encoder.CMkey

public class CMkey
extends Object


Constructor Summary
CMkey(int[] as, int[] xs)
           
 
Method Summary
 boolean equals(Object obj)
           
 int hashCode()
           
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CMkey

public CMkey(int[] as,
             int[] xs)
Method Detail

hashCode

public int hashCode()
Overrides:
hashCode in class Object

equals

public boolean equals(Object obj)
Overrides:
equals in class Object

PBSugar version 1.1.1 Core API Specification

PBSugar: SAT-based Pseudo Boolean Constraint Solver