Uses of Class
fmrisc.ProofNavigator.Syntax.AtomicType

Packages that use AtomicType

Package	Description
fmrisc.ProofNavigator.Semantics
fmrisc.ProofNavigator.Syntax

Uses of AtomicType in fmrisc.ProofNavigator.Semantics

Methods in fmrisc.ProofNavigator.Semantics that return AtomicType

Modifier and Type	Method and Description
static AtomicType	Checking.getBitType() Get canonical type BIT
static AtomicType	Checking.getBooleanType() Get canonical type BOOLEAN
static AtomicType	Checking.getIntType() Get canonical type INT
static AtomicType	Checking.getNatType() Get canonical type NAT
static AtomicType	Checking.getRealType() Get canonical type REAL

Uses of AtomicType in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return AtomicType

Modifier and Type	Method and Description
static AtomicType	Construct.atomicType(java.lang.String name) construct atomic type with denoted name.