Uses of Class
fmrisc.ProofNavigator.Syntax.SelectionTerm

Packages that use SelectionTerm

Package	Description
fmrisc.ProofNavigator.Syntax

Uses of SelectionTerm in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return SelectionTerm

Modifier and Type	Method and Description
static SelectionTerm	Construct.selectionTerm(Expression base1, Selector base2) construct component selection from base1 and base2