inpro.irmrsc.rmrs
Class VariableEnvironment

java.lang.Object
  inpro.irmrsc.rmrs.VariableEnvironment

Direct Known Subclasses:

Formula

public abstract class VariableEnvironment
extends java.lang.Object

A mapping from integer IDs to Variable objects.

Author:

Andreas Peldszus

Field Summary

protected java.util.Map<java.lang.Integer,Variable>

mVariables holds all variable objects in this expression

Constructor Summary

VariableEnvironment()

VariableEnvironment(VariableEnvironment ve)

Method Summary

abstract void	checkVariableEnvironmentConsistency() updates the list of variables in this expression
int	getMaxID()
java.lang.String	getVariableString(java.lang.Integer id)

Methods inherited from class java.lang.Object

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

Field Detail

mVariables

protected java.util.Map<java.lang.Integer,Variable> mVariables

holds all variable objects in this expression

Constructor Detail

VariableEnvironment

public VariableEnvironment(VariableEnvironment ve)

VariableEnvironment

public VariableEnvironment()

Method Detail

getVariableString

public java.lang.String getVariableString(java.lang.Integer id)

Returns:

a string representation for a given variable ID

getMaxID

public int getMaxID()

Returns:

the maximal variable index in this expression

checkVariableEnvironmentConsistency

public abstract void checkVariableEnvironmentConsistency()

updates the list of variables in this expression