roast
Class IntervalDependentDomain

java.lang.Object
  |
  +--roast.IntervalDependentDomain

public abstract class IntervalDependentDomain
extends java.lang.Object
implements DependentDomain


Field Summary
protected  int high
           
protected  int low
           
 
Constructor Summary
IntervalDependentDomain()
           
 
Method Summary
 java.lang.Object elementAt(int i)
           
static void main(java.lang.String[] args)
           
 void setDomain(java.util.Vector tuple)
           
abstract  void setLowHigh(java.util.Vector tuple)
           
 int size()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

high

protected int high

low

protected int low
Constructor Detail

IntervalDependentDomain

public IntervalDependentDomain()
Method Detail

setLowHigh

public abstract void setLowHigh(java.util.Vector tuple)

setDomain

public void setDomain(java.util.Vector tuple)
Specified by:
setDomain in interface DependentDomain

size

public int size()

elementAt

public java.lang.Object elementAt(int i)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

main

public static void main(java.lang.String[] args)