Uses of Class
fmrisc.ProgramExplorer.Syntax.Logic.NatType

Packages that use NatType

Package	Description
fmrisc.ProgramExplorer.InOut
fmrisc.ProgramExplorer.Semantics
fmrisc.ProgramExplorer.Syntax
fmrisc.ProgramExplorer.Syntax.Logic

Uses of NatType in fmrisc.ProgramExplorer.InOut

Methods in fmrisc.ProgramExplorer.InOut with parameters of type NatType

Modifier and Type	Method and Description
void	PrettyMathML.visit(NatType exp)

Uses of NatType in fmrisc.ProgramExplorer.Semantics

Fields in fmrisc.ProgramExplorer.Semantics declared as NatType

Modifier and Type	Field and Description
static NatType	LogicTypeTable.natType

Uses of NatType in fmrisc.ProgramExplorer.Syntax

Methods in fmrisc.ProgramExplorer.Syntax with parameters of type NatType

Modifier and Type	Method and Description
void	ASTVisitor.visit(NatType tree)
void	ASTCloner.visit(NatType tree)
void	ASTVisitorBase.visit(NatType tree)

Uses of NatType in fmrisc.ProgramExplorer.Syntax.Logic

Methods in fmrisc.ProgramExplorer.Syntax.Logic that return NatType

Modifier and Type	Method and Description
static NatType	NatType.construct() Construct the type.