1 // Universe.java, created Mar 17, 2004 8:30:37 AM by joewhaley
2 // Copyright (C) 2004 John Whaley <jwhaley@alum.mit.edu>
3 // Licensed under the terms of the GNU LGPL; see COPYING for details.
4 package net.sf.bddbddb;
5
6 /***
7 * A Universe is a special kind of variable that represents all values in
8 * a domain.
9 *
10 * @author John Whaley
11 * @version $Id: Universe.java 583 2005-06-03 20:21:58Z joewhaley $
12 */
13 public class Universe extends Variable {
14
15 /***
16 * Create a universe on the given domain.
17 */
18 public Universe(Domain fd) {
19 super("*", fd);
20 }
21
22 }