Struct GenericRule

pub struct GenericRule {
    pub name: Symbol,
    pub rules: HashMap<u64, Arc<Rule>>,
    /* private fields */
}

Fields

name: Symbol

rules: HashMap<u64, Arc<Rule>>

Implementations

impl GenericRule

pub fn new(name: Symbol, rules: Rules) -> Self

pub fn add_rule(&mut self, rule: Arc<Rule>)

pub fn get_applicable_rules(&self, args: &TermList) -> Rules

Trait Implementations

impl Clone for GenericRule

fn clone(&self) -> GenericRule

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.