envgen.spec
Class SpecNode

java.lang.Object
  |
  +--envgen.spec.SpecNode

Direct Known Subclasses:

LTLNode, RENode

public class SpecNode

extends java.lang.Object

Data structure for recording ltl formula or regular expression. Holds fields and methods that are common for ltl and reg nodes: attributes and methods of proposition nodes.

Field Summary

(package private) Proposition	proposition String value of the proposition.
(package private) int	val Value that corresponds to the index of proposition as it is recorded in the universe vector of propositions.

Constructor Summary

SpecNode()

Method Summary

Proposition	getProposition() Returns the string representation of the proposition for the proposition node.
int	getVal() Returns the index of the proposition in the universe of propositions.
void	setProposition(Proposition p)

Methods inherited from class java.lang.Object

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

Field Detail

proposition

Proposition proposition

String value of the proposition. Used for display purposes.

val

int val

Value that corresponds to the index of proposition as it is recorded in the universe vector of propositions.

Constructor Detail

SpecNode

public SpecNode()

Method Detail

setProposition

public void setProposition(Proposition p)

getProposition

public Proposition getProposition()

Returns the string representation of the proposition for the proposition node.

getVal

public int getVal()

Returns the index of the proposition in the universe of propositions.