de.uni_tuebingen.sfb.lichtenstein.formulas
Class Variable

java.lang.Object
  extended by de.uni_tuebingen.sfb.lichtenstein.formulas.Variable
All Implemented Interfaces:
Serializable
Direct Known Subclasses:
FirstOrderVariable, SetDenotator

public abstract class Variable
extends Object
implements Serializable

A class representing variables and predicates in the monadic second order logic.

Author:
Hendrik Maryns
See Also:
Serialized Form

Method Summary
 String getName()
          Get the name.
 String toString()
          
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

getName

public String getName()
Get the name.

Returns:
The name.

toString

public String toString()

Overrides:
toString in class Object
Returns:
A variable is represented by its name.
| result == getName()