PBSugar version 1.1.1 Core API Specification

pbsugar.encoder
Class Domain

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

public class Domain
extends Object


Constructor Summary
Domain(int value)
           
 
Method Summary
 boolean contains(int value)
           
 int lb()
           
 Domain limit(int limit)
           
 Domain plus(int value)
           
 int size()
           
 String toString()
           
 int ub()
           
 Domain union(Domain that)
           
 int upper(int value)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Domain

public Domain(int value)
Method Detail

lb

public int lb()

ub

public int ub()

size

public int size()

contains

public boolean contains(int value)

upper

public int upper(int value)

limit

public Domain limit(int limit)

plus

public Domain plus(int value)

union

public Domain union(Domain that)

toString

public String toString()
Overrides:
toString in class Object

PBSugar version 1.1.1 Core API Specification

PBSugar: SAT-based Pseudo Boolean Constraint Solver