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

Packages that use PowerTerm

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

Uses of PowerTerm in fmrisc.ProgramExplorer.InOut

Methods in fmrisc.ProgramExplorer.InOut with parameters of type PowerTerm

Modifier and Type	Method and Description
void	PrettyMathML.visit(PowerTerm exp)

Uses of PowerTerm in fmrisc.ProgramExplorer.Syntax.Logic

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

Modifier and Type	Method and Description
static PowerTerm	PowerTerm.construct(Term first, Term second) Construct an exponent term.