Examples with AggressiveSolverManager pcgen.base.solver.AggressiveSolverManager used on opensource projects

Example 1 with AggressiveSolverManager

use of pcgen.base.solver.AggressiveSolverManager in project pcgen by PCGen.

the class InputFunctionTest method setUp.

@Override
protected void setUp() throws Exception {
    super.setUp();
    getFunctionLibrary().addFunction(new InputFunction());
    formulaSetupFacet.initialize(context);
    solverFactoryFacet.initialize(context);
    FacetLibrary.getFacet(VariableLibraryFacet.class).initialize(context);
    id = CharID.getID(context.getDataSetID());
    scopeFacet.set(id, getInstanceFactory());
    variableStoreFacet.set(id, (MonitorableVariableStore) getVariableStore());
    SolverFactory solverFactory = solverFactoryFacet.get(id.getDatasetID());
    solverManagerFacet.set(id, new AggressiveSolverManager(getFormulaManager(), getManagerFactory(), solverFactory, getVariableStore()));
}