inpro.irmrsc.rmrs
Interface VariableIDsInterpretable

All Known Implementing Classes:

Formula, Hook, Relation, SimpleAssertion, VariableIDPair

interface VariableIDsInterpretable

An expression that contains IDs of variables and that can be interpreted in a corresponding VariableEnvironment.

Author:

Andreas Peldszus

Method Summary

java.util.Set<java.lang.Integer>	getVariableIDs()
void	replaceVariableID(int oldID, int newID) replace all variables IDs matching a specifid old ID with a new ID

Method Detail

getVariableIDs

java.util.Set<java.lang.Integer> getVariableIDs()

Returns:

the set of IDs of all variables in that expression

replaceVariableID

void replaceVariableID(int oldID,
                       int newID)

replace all variables IDs matching a specifid old ID with a new ID