net.sf.bddbddb
Class Constant

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

public class Constant
extends Variable

A Constant is a special kind of variable that represents a constant value.

Version:

$Id: Constant.java 328 2004-10-16 02:45:30Z joewhaley $

Author:

John Whaley

Field Summary

protected long

value Value of constant.

Fields inherited from class net.sf.bddbddb.Variable

domain, name

Constructor Summary

Constant(long value)
Create a constant with the given value.

Method Summary

long	getValue() Returns the value of this constant.

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

Field Detail

value

protected long value

Value of constant.

Constructor Detail

Constant

public Constant(long value)

Create a constant with the given value.

Parameters:

value - value of constant

Method Detail

getValue

public long getValue()

Returns the value of this constant.

Returns:

value