Package | Description |
---|---|
fmrisc.ProgramExplorer.Semantics |
Modifier and Type | Class and Description |
---|---|
class |
AxiomSymbol
A symbol denoting a logical axiom.
|
class |
ClassMethodSymbol
A symbol denoting a class method.
|
class |
ClassSymbol
A symbol denoting a class.
|
class |
ConstructorSymbol
A symbol denoting a class constructor.
|
class |
FormulaSymbol
A symbol denoting a logical formula.
|
class |
MethodSymbol
A symbol denoting a method.
|
class |
ObjectMethodSymbol
A symbol denoting an object method.
|
class |
PackageSymbol
A symbol denoting a value.
|
class |
ParamSymbol
A symbol denoting a parameterized entity.
|
class |
TheorySymbol
A symbol denoting a theory.
|