de.uni_tuebingen.sfb.lichtenstein.formulas
Class Variable

java.lang.Object
  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.

The handling of variables is a bit complex since there may only be one variable with a given name. Factory methods take care of this within one run, and the serialization mechanism is a bit more complex too.

Author:

Hendrik Maryns

See Also:

Serialized Form

Field Summary

protected String

name The name of this variable.

Constructor Summary

protected

Variable(String name) Initialize a new variable with the given name.

Method Summary

String	getName() Get the name.
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

name

protected final String name

The name of this variable.

Constructor Detail

Variable

protected Variable(String name)

Initialize a new variable with the given name.

Parameters:

name -

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()