Package inpro.irmrsc.rmrs

Interface Summary

VariableIDsInterpretable

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

Class Summary

Formula	A RMRS formula, consisting of a hook, a stack of slots and a bag of relations, scope constraints and variable equalities.
Hook	A hook, i.e. the main logical index, of a RMRS Formula consisting of a label, an anchor and an index-variable.
Relation	A relation in a RMRS Formula.
SimpleAssertion	A simple representation of logical predicates.
Variable	A variable of a Variable.Type with an integer ID.
VariableEnvironment	A mapping from integer IDs to Variable objects.
VariableIDPair	A pair of two variable IDs.

Enum Summary

Relation.Type
SimpleAssertion.Type
Variable.Type