|
Cream version 1.06 Core API Specification |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjp.ac.kobe_u.cs.cream.Domain
public abstract class Domain
Domains. This is an abstract class for domains.
Variable
Constructor Summary | |
---|---|
Domain()
|
Method Summary | |
---|---|
abstract Domain |
cap(Domain d)
Returns a new domain of the intersection (optional operation). |
abstract Object |
clone()
Returns true when the domain is empty. |
abstract boolean |
contains(Object o)
Returns true when the domain contains the element o. |
abstract Domain |
cup(Domain d)
Returns a new domain of the union (optional operation). |
abstract Domain |
delete(Object o)
Returns a new domain obtained by deleting the element o (optional operation). |
abstract Domain |
difference(Domain d)
Returns a new domain of the difference (optional operation). |
abstract Object |
element()
Returns the only element when the domain is a singleton. |
abstract Iterator<Domain> |
elements()
Returns the iterator of domain elements. |
abstract boolean |
equals(Domain d)
Returns true when the domain is equal to another domain d. |
abstract Domain |
insert(Object o)
Returns a new domain obtained by adding o as a new element (optional operation). |
boolean |
isEmpty()
Returns true when the domain is empty. |
int |
size()
Returns the size of the domain. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Domain()
Method Detail |
---|
public int size()
public boolean isEmpty()
public abstract Object clone()
clone
in class Object
public abstract boolean equals(Domain d)
d
- another domain
public abstract Iterator<Domain> elements()
public abstract Object element() throws NoSuchElementException
NoSuchElementException
public abstract boolean contains(Object o)
o
- the element to be checked
public abstract Domain insert(Object o)
o
- an element to be added
public abstract Domain delete(Object o)
o
- an element to be deleted
public abstract Domain cap(Domain d)
d
- another domain
public abstract Domain cup(Domain d)
d
- another domain
public abstract Domain difference(Domain d)
d
- another domain
|
Cream version 1.06 Core API Specification |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |