Uses of Package
inpro.irmrsc.rmrs

Packages that use inpro.irmrsc.rmrs

inpro.incremental.processor
inpro.incremental.unit
inpro.irmrsc.rmrs
inpro.irmrsc.util

Classes in inpro.irmrsc.rmrs used by inpro.incremental.processor

Formula
A RMRS formula, consisting of a hook, a stack of slots and a bag of relations, scope constraints and variable equalities.

Variable.Type

Classes in inpro.irmrsc.rmrs used by inpro.incremental.unit

Formula
A RMRS formula, consisting of a hook, a stack of slots and a bag of relations, scope constraints and variable equalities.

Classes in inpro.irmrsc.rmrs used by inpro.irmrsc.rmrs

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.

Relation.Type

SimpleAssertion
A simple representation of logical predicates.

SimpleAssertion.Type

Variable
A variable of a Variable.Type with an integer ID.

Variable.Type

VariableEnvironment
A mapping from integer IDs to Variable objects.

VariableIDPair
A pair of two variable IDs.

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

Classes in inpro.irmrsc.rmrs used by inpro.irmrsc.util

Formula
A RMRS formula, consisting of a hook, a stack of slots and a bag of relations, scope constraints and variable equalities.

Variable.Type