Uses of Interface
fmrisc.ProgramExplorer.Syntax.Logic.Selector

Packages that use Selector

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

Uses of Selector in fmrisc.ProgramExplorer.Judgements

Methods in fmrisc.ProgramExplorer.Judgements that return Selector

Modifier and Type	Method and Description
Selector[]	ExpressionLogic.deriveSelector(Term base, Selector sel, java.util.Vector<Formula> pre) Convert program selector to one or two logic selectors.

Uses of Selector in fmrisc.ProgramExplorer.Syntax.Logic

Classes in fmrisc.ProgramExplorer.Syntax.Logic that implement Selector

Modifier and Type	Class and Description
class	SelectorBase Base class of component selectors.
class	SelectorIdentifier Selection by identifier.
class	SelectorIndex Selection by index.
class	SelectorNumber Selection by number.

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

Modifier and Type	Method and Description
Selector	SelectionTerm.getSelector() Get selector.
Selector[]	UpdateTerm.getSelectors() Get selectors.

Methods in fmrisc.ProgramExplorer.Syntax.Logic with parameters of type Selector

Modifier and Type	Method and Description
static SelectionTerm	SelectionTerm.construct(Term base, Selector selector) Construct selection term.
static UpdateTerm	UpdateTerm.construct(Term base, Selector[] selectors, Term value) Construct selection term.