Cream version 1.2 Core API Specification

jp.ac.kobe_u.cs.cream
Class IntDomain

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

public class IntDomain
extends Domain


Field Summary
static IntDomain EMPTY
           
static IntDomain FULL
           
static int MAX_VALUE
           
static int MIN_VALUE
           
 
Constructor Summary
IntDomain()
           
IntDomain(int val)
           
IntDomain(int mi, int ma)
           
 
Method Summary
 Domain cap(Domain d)
           
 IntDomain capInterval(int lo, int hi)
           
 java.lang.Object clone()
           
 boolean contains(int elem)
           
 boolean contains(java.lang.Object o)
           
 Domain cup(Domain d)
           
 IntDomain delete(int elem)
           
 IntDomain delete(int lo, int hi)
           
 Domain delete(java.lang.Object o)
           
 Domain difference(Domain d)
           
 java.lang.Object element()
           
 java.util.Iterator elements()
           
 boolean equals(Domain d0)
           
 Domain insert(java.lang.Object o)
           
 int max()
           
 int min()
           
 void remove(java.lang.Object o)
           
 java.lang.String toString()
           
 int value()
           
 
Methods inherited from class jp.ac.kobe_u.cs.cream.Domain
isEmpty, size
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

MIN_VALUE

public static final int MIN_VALUE
See Also:
Constant Field Values

MAX_VALUE

public static final int MAX_VALUE
See Also:
Constant Field Values

EMPTY

public static IntDomain EMPTY

FULL

public static IntDomain FULL
Constructor Detail

IntDomain

public IntDomain()

IntDomain

public IntDomain(int val)

IntDomain

public IntDomain(int mi,
                 int ma)
Method Detail

equals

public boolean equals(Domain d0)
Specified by:
equals in class Domain

clone

public java.lang.Object clone()
Specified by:
clone in class Domain

elements

public java.util.Iterator elements()
Specified by:
elements in class Domain

min

public int min()
        throws java.util.NoSuchElementException
Throws:
java.util.NoSuchElementException

max

public int max()
        throws java.util.NoSuchElementException
Throws:
java.util.NoSuchElementException

value

public int value()
          throws java.util.NoSuchElementException
Throws:
java.util.NoSuchElementException

element

public java.lang.Object element()
                         throws java.util.NoSuchElementException
Specified by:
element in class Domain
Throws:
java.util.NoSuchElementException

contains

public boolean contains(int elem)

contains

public boolean contains(java.lang.Object o)
Specified by:
contains in class Domain

insert

public Domain insert(java.lang.Object o)
Specified by:
insert in class Domain

remove

public void remove(java.lang.Object o)

delete

public IntDomain delete(int elem)

delete

public Domain delete(java.lang.Object o)
Specified by:
delete in class Domain

delete

public IntDomain delete(int lo,
                        int hi)

cap

public Domain cap(Domain d)
Specified by:
cap in class Domain

cup

public Domain cup(Domain d)
Specified by:
cup in class Domain

difference

public Domain difference(Domain d)
Specified by:
difference in class Domain

capInterval

public IntDomain capInterval(int lo,
                             int hi)

toString

public java.lang.String toString()

Cream version 1.2 Core API Specification

Cream: Constraint Programming Class Library for Java