|
PBSugar version 1.1.1 Core API Specification |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectpbsugar.encoder.Domain
public class Domain
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 |
---|
public Domain(int value)
Method Detail |
---|
public int lb()
public int ub()
public int size()
public boolean contains(int value)
public int upper(int value)
public Domain limit(int limit)
public Domain plus(int value)
public Domain union(Domain that)
public String toString()
toString
in class Object
|
PBSugar version 1.1.1 Core API Specification |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |