RBNpackage
Class TypeDomain

java.lang.Object
  extended by RBNpackage.Type
      extended by RBNpackage.TypeDomain

public class TypeDomain
extends Type

A "vacuous" type that represents all elements of a domain


Field Summary
 
Fields inherited from class RBNpackage.Type
name
 
Constructor Summary
TypeDomain()
           
 
Method Summary
 int[] allElements(RelStruc rs)
          Returns integer vector [0,1,...,dom-1] where dom is the domainsize of rs
 java.lang.String getName()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TypeDomain

public TypeDomain()
Method Detail

allElements

public int[] allElements(RelStruc rs)
Returns integer vector [0,1,...,dom-1] where dom is the domainsize of rs


getName

public java.lang.String getName()
Specified by:
getName in class Type