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.

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