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

Class MapSubstituter

java.lang.Object

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

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

All Implemented Interfaces:

Transform<SymbolicExpression,SymbolicExpression>, UnaryOperator<SymbolicExpression>

public class MapSubstituter
extends ExpressionSubstituter

A substituter specified by giving an explicit Java Map from SymbolicExpression to SymbolicExpression to specify the base substitutions. Bound variables will not be modified.

Nested Class Summary

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

ExpressionSubstituter.SubstituterState

Constructor Summary

Constructors

Constructor	Description
MapSubstituter(PreUniverse universe, ObjectFactory objectFactory, SymbolicTypeFactory typeFactory, Map<SymbolicExpression,SymbolicExpression> map)

Method Summary

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

MapSubstituter

public MapSubstituter(PreUniverse universe,
 ObjectFactory objectFactory,
 SymbolicTypeFactory typeFactory,
 Map<SymbolicExpression,SymbolicExpression> map)