Struct RuleSet

pub struct RuleSet {
    pub rules: Vec<Rule>,
    pub bindings: Vec<Binding>,
    /* private fields */
}

A collection of Rules, along with hash-consed Bindings for all of them.

Fields

rules: Vec<Rule>

The Rules for a single sema::Term.

bindings: Vec<Binding>

The bindings identified by BindingIds within rules.

Implementations

impl RuleSet

pub fn find_binding(&self, binding: &Binding) -> Option<BindingId>

Returns the BindingId corresponding to the given Binding within this rule-set, if any.

Trait Implementations

impl Debug for RuleSet

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

Formats the value using the given formatter.

impl Default for RuleSet

fn default() -> RuleSet

Returns the “default value” for a type.