Package edu.udel.cis.vsl.sarl.preuniverse.common

Class ExpressionWalker

java.lang.Object

edu.udel.cis.vsl.sarl.preuniverse.common.ExpressionWalker

public class ExpressionWalker
extends Object

Walks a symbolic expression to collect all free (unbound) symbolic constants occurring anywhere in that expression.

Constructor Summary

Constructors

Constructor	Description
ExpressionWalker(SymbolicExpression expr)	Constructs new walker and does the walk, filling in result.

Method Summary

Modifier and Type	Method	Description
Set<SymbolicConstant>	getResult()	Gets the result: the set of free symbolic constants occurring in the original expression that was provided at creation.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ExpressionWalker

public ExpressionWalker(SymbolicExpression expr)

Constructs new walker and does the walk, filling in result.

Parameters:

expr - the non-null symbolic expression that will be walked

Method Details

getResult

public Set<SymbolicConstant> getResult()

Gets the result: the set of free symbolic constants occurring in the original expression that was provided at creation.

Returns:

the result