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

Class BoundCleaner

java.lang.Object

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

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

All Implemented Interfaces:

Transform<SymbolicExpression,SymbolicExpression>, UnaryOperator<SymbolicExpression>

public class BoundCleaner
extends ExpressionSubstituter

Replaces all bound variables in expressions with new ones so that each has a unique name and a name different from any unbound symbolic constant (assuming no one else uses the "special string"). New names: z, __b0, x, y, __b1, __b2, y, x, __b3

Nested Class Summary

Nested classes/interfaces inherited from class edu.udel.cis.vsl.sarl.preuniverse.common.ExpressionSubstituter

ExpressionSubstituter.SubstituterState

Constructor Summary

Constructors

Constructor	Description
BoundCleaner(PreUniverse universe, ObjectFactory objectFactory, SymbolicTypeFactory typeFactory)

Method Summary

Modifier and Type	Method	Description
BoundCleaner	clone()

Methods inherited from class edu.udel.cis.vsl.sarl.preuniverse.common.ExpressionSubstituter

apply

Methods inherited from class java.lang.Object

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

Constructor Details

BoundCleaner

public BoundCleaner(PreUniverse universe,
 ObjectFactory objectFactory,
 SymbolicTypeFactory typeFactory)

Method Details

clone

public BoundCleaner clone()