Trait ddo::core::abstraction::heuristics::LoadVars

pub trait LoadVars<T> {
    fn variables(&self, node: &Node<T>) -> VarSet;
}

This trait defines a strategy/heuristic to retrieve the smallest set of free variables from a given node

Required methods

fn variables(&self, node: &Node<T>) -> VarSet

Returns the minimal set of free variables for the given problem when starting an exploration in the given node.

Loading content...

Implementors

impl<T> LoadVars<T> for FromLongestPath

fn variables(&self, node: &Node<T>) -> VarSet

Returns the set of variables having no assigned value along the longest path to node.

impl<T, F> LoadVars<T> for Func<F> where
    F: Fn(&Node<T>) -> VarSet, 

If is able to extract a set of variables out of a reference to some node, then Func will auto implement the LoadVars trait for that function.

fn variables(&self, node: &Node<T>) -> VarSet

Loading content...