Struct InputOrder 

pub struct InputOrder<Var> { /* private fields */ }

A VariableSelector which selects the first variable which is not fixed given the order in the provided list.

Implementations

impl<Var> InputOrder<Var>

where Var: Copy,

pub fn new(variables: &[Var]) -> InputOrder<Var>

Trait Implementations

impl<Var> Debug for InputOrder<Var>

where Var: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl VariableSelector<DomainId> for InputOrder<DomainId>

fn select_variable( &mut self, context: &mut SelectionContext<'_>, ) -> Option<DomainId>

Determines which variable to select next if there are any left to branch on. Should only return None when all variables which have been passed to the VariableSelector have been assigned. Otherwise it should return the variable to branch on next.

fn subscribe_to_events(&self) -> Vec<BrancherEvent>

Indicates which BrancherEvent are relevant for this particular VariableSelector.

fn on_conflict(&mut self)

A function which is called after a conflict has been found and processed but (currently) does not provide any additional information.

fn on_backtrack(&mut self)

A function which is called whenever a backtrack occurs in the solver.

fn on_unassign_integer(&mut self, _variable: DomainId, _value: i32)

A function which is called after a DomainId is unassigned during backtracking (i.e. when it was fixed but is no longer), specifically, it provides variable which is the DomainId which has been reset. This method could thus be called multiple times in a single backtracking operation by the solver.

fn on_appearance_in_conflict_predicate(&mut self, _predicate: Predicate)

A function which is called when a Predicate appears in a conflict during conflict analysis.

fn is_restart_pointless(&mut self) -> bool

This method returns whether a restart is currently pointless for the VariableSelector.

impl VariableSelector<Literal> for InputOrder<Literal>

fn select_variable( &mut self, context: &mut SelectionContext<'_>, ) -> Option<Literal>

Determines which variable to select next if there are any left to branch on. Should only return None when all variables which have been passed to the VariableSelector have been assigned. Otherwise it should return the variable to branch on next.

fn subscribe_to_events(&self) -> Vec<BrancherEvent>

Indicates which BrancherEvent are relevant for this particular VariableSelector.

fn on_conflict(&mut self)

A function which is called after a conflict has been found and processed but (currently) does not provide any additional information.

fn on_backtrack(&mut self)

A function which is called whenever a backtrack occurs in the solver.

fn on_unassign_integer(&mut self, _variable: DomainId, _value: i32)

A function which is called after a DomainId is unassigned during backtracking (i.e. when it was fixed but is no longer), specifically, it provides variable which is the DomainId which has been reset. This method could thus be called multiple times in a single backtracking operation by the solver.

fn on_appearance_in_conflict_predicate(&mut self, _predicate: Predicate)

A function which is called when a Predicate appears in a conflict during conflict analysis.

fn is_restart_pointless(&mut self) -> bool

This method returns whether a restart is currently pointless for the VariableSelector.