public SolutionGoal(Solver solver, IntObjective objective, Objective value, string instance) :
base(solver)
{
m_Objective = objective;
m_Value = value;
m_Instance = instance;
}
public void Register(IntObjective obj)
{
lock (this)
{
m_List.Add(obj);
}
}
public Solver(Problem problem)
{
m_IntObjective = new IntObjective(this);
m_GoalStack = new GoalStack(m_IntObjective);
m_Out = Console.Out;
m_Time = DateTime.Now;
m_Problem = problem;
m_Problem.Propagate();
}
public Solver( Problem problem )
{
m_IntObjective = new IntObjective( this );
m_GoalStack = new GoalStack( m_IntObjective );
m_Out = Console.Out;
m_Time = DateTime.Now;
m_Problem = problem;
m_Problem.Propagate();
}
