Struct fungi_lang::decide::Dec

pub struct Dec<Rule: HasClas> {
    pub ctx: RelCtx,
    pub rule: Rc<Rule>,
    pub clas: Rule::Clas,
    pub res: Result<bool, DecError>,
}

Derivation for a decision procedure, expressed as deductive inference rules

Fields

ctx: RelCtx

rule: Rc<Rule>

clas: Rule::Clas

res: Result<bool, DecError>

Trait Implementations

impl<X: HasClas> Display for Dec<X>

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

Formats the value using the given formatter.

impl<Rule: Clone + HasClas> Clone for Dec<Rule> where     Rule::Clas: Clone,

fn clone(&self) -> Dec<Rule>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Rule: Debug + HasClas> Debug for Dec<Rule> where     Rule::Clas: Debug,

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

Formats the value using the given formatter.

impl<Rule: Eq + HasClas> Eq for Dec<Rule> where     Rule::Clas: Eq,

impl<Rule: PartialEq + HasClas> PartialEq for Dec<Rule> where     Rule::Clas: PartialEq,

fn eq(&self, other: &Dec<Rule>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Dec<Rule>) -> bool

This method tests for !=.

impl<Rule: Hash + HasClas> Hash for Dec<Rule> where     Rule::Clas: Hash,

fn hash<__HRule: Hasher>(&self, state: &mut __HRule)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where     H: Hasher,

Feeds a slice of this type into the given [Hasher].