Struct UsableNodeRule 

pub struct UsableNodeRule { /* private fields */ }

Stops at nodes already solved in an earlier visit: their error and the bound they were solved under are both known. Always active.

Implementations

impl UsableNodeRule

pub fn new() -> Self

A new rule.

Trait Implementations

impl Debug for UsableNodeRule

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

Formats the value using the given formatter.

impl Default for UsableNodeRule

fn default() -> Self

Returns the “default value” for a type.

impl Rule for UsableNodeRule

fn evaluate(&self, context: &RuleContext) -> RuleResult

Decides whether the search continues below the node.

fn priority(&self) -> u8

Rules with a higher priority are evaluated first.

fn description(&self) -> String

A short human-readable name.

fn state(&self) -> RuleState

The current state of the rule.

fn is_relaxable(&self) -> bool

Whether the rule restricts the search only temporarily. A search whose pass was cut by a relaxable rule is not finished.

fn as_any(&self) -> &dyn Any

Upcast used by RuleManager::get_rule_mut.

fn as_any_mut(&mut self) -> &mut dyn Any

Mutable upcast used by RuleManager::get_rule_mut.

fn is_active(&self) -> bool

Whether the rule is applied.

fn activate(&mut self)

Starts applying the rule; called before the first pass.

fn deactivate(&mut self)

Stops applying the rule.

fn relax(&mut self)

Widens the rule’s budget before the next pass, or deactivates it once the budget is at its limit.

fn reset(&mut self)

Resets any internal state, such as a timer.

fn delay(&self) -> u8

Number of passes to wait before the rule takes effect.