public abstract Variable <Tval> SelectUnassignedVariable(ConstraintSatisfactionProblem <Tval> csp, Assignment <Tval> assignment);
public abstract Task <Assignment <Tval> > Solve(ConstraintSatisfactionProblem <Tval> csp, Assignment <Tval> initialAssignment = null);
public override async Task <InferenceResults <Tval> > Infer(ConstraintSatisfactionProblem <Tval> csp, Variable <Tval> variable, Tval value, InferenceResults <Tval> inference = null, bool stopAtInconsistency = true)
{
Queue <Tuple <Variable <Tval>, Variable <Tval> > > queueOfArcs = new Queue <Tuple <Variable <Tval>, Variable <Tval> > >((variable != null) ? csp.GetArcsTowards(variable) : csp.GetArcs());
return(await ReduceDomains(csp, queueOfArcs, inference, stopAtInconsistency));
}
public override IEnumerable <Tval> getOrderedDomainValues(Variable <Tval> variable, Assignment <Tval> assignment, ConstraintSatisfactionProblem <Tval> csp)
{
return(variable.GetDomain().GetValues().ToList());
}
public override async Task <InferenceResults <Tval> > Infer(ConstraintSatisfactionProblem <Tval> csp, bool stopAtInconsistency = true)
{
Queue <Tuple <Variable <Tval>, Variable <Tval> > > queueOfArcs = new Queue <Tuple <Variable <Tval>, Variable <Tval> > >(csp.GetArcs());
return(await ReduceDomains(csp, queueOfArcs, null, stopAtInconsistency));
}
abstract public Task <InferenceResults <Tval> > Infer(ConstraintSatisfactionProblem <Tval> csp, Variable <Tval> variable, Tval value, InferenceResults <Tval> inference = null, bool stopAtInconsistency = true);
abstract public Task <InferenceResults <Tval> > Infer(ConstraintSatisfactionProblem <Tval> csp, bool stopAtInconsistency = true);
public override IEnumerable <Tval> getOrderedDomainValues(Variable <Tval> variable, Assignment <Tval> assignment, ConstraintSatisfactionProblem <Tval> csp)
{
throw new NotImplementedException();
}
public abstract IEnumerable <Tval> getOrderedDomainValues(Variable <Tval> variable, Assignment <Tval> assignment, ConstraintSatisfactionProblem <Tval> csp);
