|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectsoot.relations.Domain
| Constructor Summary | |
Domain(Numberer numberer)
|
|
Domain(Numberer numberer,
java.lang.String name)
|
|
| Method Summary | |
static Domain[] |
box(Domain d1)
|
static Domain[] |
box(Domain d1,
Domain d2)
|
static Domain[] |
box(Domain d1,
Domain d2,
Domain d3)
|
Numberer |
numberer()
|
java.lang.String |
toString()
|
static java.lang.String |
toString(java.lang.Object[] domains)
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
public Domain(Numberer numberer)
public Domain(Numberer numberer,
java.lang.String name)
| Method Detail |
public Numberer numberer()
public java.lang.String toString()
public static java.lang.String toString(java.lang.Object[] domains)
public static Domain[] box(Domain d1)
public static Domain[] box(Domain d1,
Domain d2)
public static Domain[] box(Domain d1,
Domain d2,
Domain d3)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||