orc.trace.values
Class OptionValue

java.lang.Object
  orc.trace.values.AbstractValue
      orc.trace.values.OptionValue

All Implemented Interfaces:

java.io.Serializable, Term, Value

public abstract class OptionValue
extends AbstractValue

See Also:

Serialized Form

Constructor Summary

OptionValue()

Method Summary

Methods inherited from class orc.trace.values.AbstractValue

toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface orc.trace.Term

prettyPrint

Constructor Detail

OptionValue

public OptionValue()