Struct polar_core::rules::GenericRule

pub struct GenericRule {
    pub name: Symbol,
    // some fields omitted
}

Fields

name: Symbol

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.