public Solver(IntInterval horizon)
{
m_PropagationQueue = new PropagationQueueVar();
m_IntObjective = new IntObjective(this);
Init(horizon);
}
public GoalStack(IntObjective intObjective)
{
m_StackAndState = new StackEx <StackEx <Goal> >();
m_StackAnd = new StackEx <Goal>();
m_StackOr = new StackEx <GoalOr>();
m_IntObjective = intObjective;
m_IsExecuting = false;
m_Stop = false;
m_StackAndMax = 0;
m_StackOrMax = 0;
m_StackOrCount = 0;
m_IsFailed = false;
m_CountFail = 0;
}
public Solver( IntInterval horizon )
{
m_PropagationQueue = new PropagationQueueVar();
m_IntObjective = new IntObjective( this );
Init( horizon );
}
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 GoalStack( IntObjective intObjective )
{
m_StackAndState = new StackEx<StackEx<Goal>>();
m_StackAnd = new StackEx<Goal>();
m_StackOr = new StackEx<GoalOr>();
m_IntObjective = intObjective;
m_IsExecuting = false;
m_Stop = false;
m_StackAndMax = 0;
m_StackOrMax = 0;
m_StackOrCount = 0;
m_IsFailed = false;
m_CountFail = 0;
}