|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use VariableEnvironment | |
|---|---|
| inpro.irmrsc.rmrs | |
| Uses of VariableEnvironment in inpro.irmrsc.rmrs |
|---|
| Subclasses of VariableEnvironment in inpro.irmrsc.rmrs | |
|---|---|
class |
Formula
A RMRS formula, consisting of a hook, a stack of slots and a bag of relations, scope constraints and variable equalities. |
| Constructors in inpro.irmrsc.rmrs with parameters of type VariableEnvironment | |
|---|---|
VariableEnvironment(VariableEnvironment ve)
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||