Struct fungi_lang::decide::Dec
source · pub struct Dec<Rule: HasClas> {
pub ctx: RelCtx,
pub rule: Rc<Rule>,
pub clas: Rule::Clas,
pub res: Result<bool, DecError>,
}
Expand description
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
sourceimpl<Rule: PartialEq + HasClas> PartialEq<Dec<Rule>> for Dec<Rule>where
Rule::Clas: PartialEq,
impl<Rule: PartialEq + HasClas> PartialEq<Dec<Rule>> for Dec<Rule>where
Rule::Clas: PartialEq,
impl<Rule: Eq + HasClas> Eq for Dec<Rule>where
Rule::Clas: Eq,
impl<Rule: HasClas> StructuralEq for Dec<Rule>
impl<Rule: HasClas> StructuralPartialEq for Dec<Rule>
Auto Trait Implementations
impl<Rule> !RefUnwindSafe for Dec<Rule>
impl<Rule> !Send for Dec<Rule>
impl<Rule> !Sync for Dec<Rule>
impl<Rule> Unpin for Dec<Rule>where
<Rule as HasClas>::Clas: Unpin,
impl<Rule> !UnwindSafe for Dec<Rule>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more