PBSugar version 1.1.1 Core API Specification

pbsugar.pb
Class PBLiteral

java.lang.Object
  extended by pbsugar.pb.PBLiteral

public class PBLiteral
extends Object


Constructor Summary
PBLiteral(String x)
           
PBLiteral(String x, boolean negative)
           
 
Method Summary
 boolean equals(Object obj)
           
 String getVariable()
           
 int hashCode()
           
 boolean isNegative()
           
 PBLiteral negate()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

PBLiteral

public PBLiteral(String x,
                 boolean negative)

PBLiteral

public PBLiteral(String x)
Method Detail

getVariable

public String getVariable()

isNegative

public boolean isNegative()

negate

public PBLiteral negate()

hashCode

public int hashCode()
Overrides:
hashCode in class Object

equals

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

toString

public String toString()
Overrides:
toString in class Object

PBSugar version 1.1.1 Core API Specification

PBSugar: SAT-based Pseudo Boolean Constraint Solver