Simplify.java

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

import edu.udel.cis.vsl.tass.simplify.IF.SymbolicSimplifierFactoryIF;
import edu.udel.cis.vsl.tass.simplify.light.LightSimplifierFactory;
import edu.udel.cis.vsl.tass.symbolic.IF.SymbolicUniverseIF;

public class Simplify {

	public static SymbolicSimplifierFactoryIF newSimplifierFactory(
			SymbolicUniverseIF universe) {
		return new LightSimplifierFactory(universe);
	}

}