Uses of Class
fmrisc.ProofNavigator.Proving.GroundExpressions

Packages that use GroundExpressions

Package	Description
fmrisc.ProofNavigator.Proving

Uses of GroundExpressions in fmrisc.ProofNavigator.Proving

Methods in fmrisc.ProofNavigator.Proving that return GroundExpressions

Modifier and Type	Method and Description
static GroundExpressions	GroundExpressions.compute(Expression exp) Compute collection of all ground subexpressions of an expression.
static GroundExpressions	GroundExpressions.compute(ProofState state) Compute collection of ground subexpressions of a proof state.