Cream version 1.2 Core API Specification

jp.ac.kobe_u.cs.cream
Class Domain

java.lang.Object
  extended byjp.ac.kobe_u.cs.cream.Domain
All Implemented Interfaces:
java.lang.Cloneable
Direct Known Subclasses:
IntDomain

public abstract class Domain
extends java.lang.Object
implements java.lang.Cloneable

Domains. This is an abstract class for domains. A domain ...

Since:
1.0
See Also:
Variable

Constructor Summary
Domain()
           
 
Method Summary
abstract  Domain cap(Domain d)
           
abstract  java.lang.Object clone()
           
abstract  boolean contains(java.lang.Object o)
           
abstract  Domain cup(Domain d)
           
abstract  Domain delete(java.lang.Object o)
           
abstract  Domain difference(Domain d)
           
abstract  java.lang.Object element()
           
abstract  java.util.Iterator elements()
           
abstract  boolean equals(Domain d)
           
abstract  Domain insert(java.lang.Object o)
           
 boolean isEmpty()
           
 int size()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Domain

public Domain()
Method Detail

size

public int size()

isEmpty

public boolean isEmpty()

clone

public abstract java.lang.Object clone()

equals

public abstract boolean equals(Domain d)

elements

public abstract java.util.Iterator elements()

element

public abstract java.lang.Object element()

contains

public abstract boolean contains(java.lang.Object o)

insert

public abstract Domain insert(java.lang.Object o)

delete

public abstract Domain delete(java.lang.Object o)

cap

public abstract Domain cap(Domain d)

cup

public abstract Domain cup(Domain d)

difference

public abstract Domain difference(Domain d)

Cream version 1.2 Core API Specification

Cream: Constraint Programming Class Library for Java