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(); }