net.sf.bddbddb
Class Universe

java.lang.Object
  net.sf.bddbddb.Variable
      net.sf.bddbddb.Universe

public class Universe
extends Variable

A Universe is a special kind of variable that represents all values in a domain.

Version:

$Id: Universe.java 583 2005-06-03 20:21:58Z joewhaley $

Author:

John Whaley

Field Summary

Fields inherited from class net.sf.bddbddb.Variable

domain, name

Constructor Summary

Universe(Domain fd)
Create a universe on the given domain.

Method Summary

Methods inherited from class net.sf.bddbddb.Variable

fromXMLElement, getDomain, getName, setDomain, setName, toString, toXMLElement

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Universe

public Universe(Domain fd)

Create a universe on the given domain.