protected ImpactRefinementStrategy(
final Configuration config,
final Solver pSolver,
final PredicateAbstractionManager pPredAbsMgr)
throws InvalidConfigurationException {
super(pSolver);
bfmgr = pSolver.getFormulaManager().getBooleanFormulaManager();
predAbsMgr = pPredAbsMgr;
impact = new ImpactUtility(config, pSolver.getFormulaManager(), pPredAbsMgr);
}
protected PredicateAbstractionGlobalRefinementStrategy(
final Configuration config,
final LogManager pLogger,
final PredicateAbstractionManager pPredAbsMgr,
final Solver pSolver)
throws InvalidConfigurationException {
super(pSolver);
config.inject(this, PredicateAbstractionGlobalRefinementStrategy.class);
logger = pLogger;
fmgr = pSolver.getFormulaManager();
bfmgr = fmgr.getBooleanFormulaManager();
predAbsMgr = pPredAbsMgr;
}