Dynamics.java

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

import edu.udel.cis.vsl.tass.config.RunConfiguration;
import edu.udel.cis.vsl.tass.dynamic.IF.DynamicFactoryIF;
import edu.udel.cis.vsl.tass.dynamic.impl.DynamicFactory;
import edu.udel.cis.vsl.tass.model.IF.ModelFactoryIF;
import edu.udel.cis.vsl.tass.prove.IF.TheoremProverIF;
import edu.udel.cis.vsl.tass.simplify.IF.SymbolicSimplifierFactoryIF;

public class Dynamics {

	public static DynamicFactoryIF newDynamicFactory(
			ModelFactoryIF modelFactory,
			SymbolicSimplifierFactoryIF simplifierFactory,
			TheoremProverIF prover, RunConfiguration configuration) {
		return new DynamicFactory(modelFactory, simplifierFactory, prover,
				configuration);
	}
}