Uses of Interface
inpro.irmrsc.rmrs.VariableIDsInterpretable

Packages that use VariableIDsInterpretable

inpro.irmrsc.rmrs

Uses of VariableIDsInterpretable in inpro.irmrsc.rmrs

Classes in inpro.irmrsc.rmrs that implement VariableIDsInterpretable

class	Formula A RMRS formula, consisting of a hook, a stack of slots and a bag of relations, scope constraints and variable equalities.
class	Hook A hook, i.e. the main logical index, of a RMRS Formula consisting of a label, an anchor and an index-variable.
class	Relation A relation in a RMRS Formula.
class	SimpleAssertion A simple representation of logical predicates.
class	VariableIDPair A pair of two variable IDs.