Package | Description |
---|---|
fmrisc.ProgramExplorer.Semantics |
Modifier and Type | Method and Description |
---|---|
LogicTypeTable |
TheorySymbol.getLogicTypeTable()
Get type table of class.
|
LogicTypeTable |
PackageSymbol.getLogicTypeTable()
Get logic type table of package.
|