public final class GroundExpressions extends ASTVisitorBase
Constructor and Description |
---|
GroundExpressions() |
Modifier and Type | Method and Description |
---|---|
static GroundExpressions |
compute(Expression exp)
Compute collection of all ground subexpressions of an expression.
|
static GroundExpressions |
compute(ProofState state)
Compute collection of ground subexpressions of a proof state.
|
java.util.Collection<Expression> |
getExpressions()
Get the collection of ground expressions collected in this set.
|
boolean |
has(Expression exp)
Check whether collection contains expression.
|
isCloned, visit
public static GroundExpressions compute(Expression exp)
exp
- an expression.public static GroundExpressions compute(ProofState state)
state
- a proof state.public java.util.Collection<Expression> getExpressions()
public boolean has(Expression exp)
exp
- an expression.