Package | Description |
---|---|
fmrisc.ProgramExplorer.Semantics |
Modifier and Type | Method and Description |
---|---|
static LogicChecking |
LogicChecking.createChecker(ClassSymbol csymbol,
Environment penv,
ErrorStream error)
Create checker for processing logical entities in environment set up
by the (already processed) local theory of a class.
|