SubstitutionSimplifier.java

package edu.udel.cis.vsl.tass.dynamic.impl.simplify;

import edu.udel.cis.vsl.tass.dynamic.IF.ValueSubstituterIF;
import edu.udel.cis.vsl.tass.dynamic.IF.simplify.MorphicSimplifierCacheIF;
import edu.udel.cis.vsl.tass.dynamic.IF.value.ValueIF;
import edu.udel.cis.vsl.tass.dynamic.impl.DynamicFactory;

public class SubstitutionSimplifier extends DynamicSimplifier {

	private ValueSubstituterIF substituter;

	public SubstitutionSimplifier(ValueSubstituterIF substituter,
			DynamicFactory dynamicFactory, MorphicSimplifierCacheIF cache) {
		super(dynamicFactory, cache, false);
		this.substituter = substituter;
	}

	@Override
	public ValueIF simplify(ValueIF value) {
		return substituter.substitute(value);
	}
}