Uses of Class
fmrisc.ProofNavigator.Semantics.TypeExpression

Packages that use TypeExpression

Package	Description
fmrisc.ProofNavigator.Semantics

Uses of TypeExpression in fmrisc.ProofNavigator.Semantics

Methods in fmrisc.ProofNavigator.Semantics that return TypeExpression

Modifier and Type	Method and Description
static TypeExpression	Checking.clearSubtypes(Type type, Expression exp) return version of type where subtypes and subranges (including NAT) are replaced by their base types; the corresponding constraints are returned as a formula which a corresponding expression exp has to fulfill
TypeExpression	ValueSymbol.getClearType() Get clear type.
TypeExpression	TypeExpression.instantiate() create instantiated copy of type expression

Methods in fmrisc.ProofNavigator.Semantics with parameters of type TypeExpression

Modifier and Type	Method and Description
void	ValueSymbol.setClearType(TypeExpression clearType) Set clear type to typexp.