|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use GroundExpressions | |
|---|---|
| fmrisc.Proving | |
| Uses of GroundExpressions in fmrisc.Proving |
|---|
| Methods in fmrisc.Proving that return GroundExpressions | |
|---|---|
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. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||