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

Packages that use TypeBase

Package	Description
fmrisc.ProgramExplorer.Syntax
fmrisc.ProgramExplorer.Syntax.Logic

Uses of TypeBase in fmrisc.ProgramExplorer.Syntax

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

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

Uses of TypeBase in fmrisc.ProgramExplorer.Syntax.Logic

Subclasses of TypeBase in fmrisc.ProgramExplorer.Syntax.Logic

Modifier and Type	Class and Description
class	ArrayType An array type.
class	AtomicType An atomic type.
class	BitType The type of bit values.
class	BooleanType The type of truth values.
class	FunctionType A function type.
class	IntType The type of integers.
class	NatType The type of natural numbers.
class	Real0Type The type of reals including the results of divisions by zero (intenally used).
class	RealType The type of reals.
class	RecordType A record type.
class	StateType The type of state values.
class	StringType The type of character strings.
class	SubrangeType An subrange type.
class	SubType An subtype.
class	TupleType A tuple type.