Package | Description |
---|---|
fmrisc.ProgramExplorer.Semantics |
Modifier and Type | Method and Description |
---|---|
LogicEnvironment |
LogicChecking.getLogicEnvironment()
Get the environment for looking up logic symbols.
|
Constructor and Description |
---|
TCCGenerator(TheorySymbol tsymbol,
java.util.Vector<TheorySymbol> theories,
LogicEnvironment env,
java.io.File parent,
ErrorStream out)
Construct a type checking condition generator.
|