Struct tfdeploy::analyser::rules::prelude::GivenAllRule

pub struct GivenAllRule<'rules, T: Fact> {
    pub items: Vec<Exp<T>>,
    pub closure: Box<Fn(&mut Solver<'rules>, Vec<T::Concrete>) + 'rules>,
}

The given rule. It allows you to add more rules to the solver once the value of a given expression is known, using a closure that takes the value as parameter.

It can be added to the solver via the following method:

solver.given(input.rank, |solver, ir|
    // Add more rules to `solver` here.
);

Fields

items: Vec<Exp<T>>

closure: Box<Fn(&mut Solver<'rules>, Vec<T::Concrete>) + 'rules>

Methods

impl<'rules, T: Output + Fact> GivenAllRule<'rules, T>

pub fn new<F>(items: Vec<Exp<T>>, closure: F) -> GivenAllRule<'rules, T> where     F: Fn(&mut Solver<'rules>, Vec<T::Concrete>) + 'rules,

Creates a new GivenRule instance.

Trait Implementations

impl<'rules, T: Output + Fact> Rule<'rules> for GivenAllRule<'rules, T>

fn apply(     &self,     context: &mut Context ) -> Result<(bool, Vec<Box<Rule<'rules> + 'rules>>)>

Tries to apply the rule to a given context.

Important traits for Vec<u8>

impl Write for Vec<u8>

fn get_paths(&self) -> Vec<&Path>

Returns the paths that the rule depends on.

impl<'s, T: Output + Fact> Debug for GivenAllRule<'s, T>

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

Formats the value using the given formatter.