Uses of Class
fmrisc.ProgramExplorer.InOut.TheoryReader

Packages that use TheoryReader

Package	Description
fmrisc.ProgramExplorer.Semantics

Uses of TheoryReader in fmrisc.ProgramExplorer.Semantics

Constructors in fmrisc.ProgramExplorer.Semantics with parameters of type TheoryReader

Constructor and Description
TheorySymbol(PackageSymbol psymbol, Identifier name, TheoryReader reader) Construct theory symbol from reader.