package heuristics;

import explicit.CachedModelExplorer;
import explicit.ModelExplorer;
import parser.ast.ModulesFile;
import parser.ast.PropertiesFile;
import parser.ast.Property;
import prism.PrismComponent;
import prism.PrismException;
import simulator.PrismModelExplorer;
import simulator.SimulatorEngine;

public class CollapseHeuristicsModelChecker extends HeuristicsSMGModelChecker
{
	public CollapseHeuristicsModelChecker(PrismComponent parent, ModulesFile modulesFile, PropertiesFile propertiesFile, Property property, SimulatorEngine engine, String heuristicName, String nextStateName, boolean verbose, boolean collapseMECs, boolean heuristicSymbolicContainers) throws PrismException {
		super(parent,modulesFile,propertiesFile,property,engine,heuristicName,nextStateName,verbose,collapseMECs,heuristicSymbolicContainers);
	}
	
	protected ModelExplorer createModelExplorer(SimulatorEngine engine, ModulesFile modulesFile, ECContainer eCC) throws PrismException {
		return new CollapseModelExplorer(engine, modulesFile, eCC);
	}
}

