Trait Subsumption 

pub trait Subsumption<Store> {
    // Required method
    fn is_subsumed(&self, store: &Store) -> SKleene;
}

Required Methods

fn is_subsumed(&self, store: &Store) -> SKleene

Implementors

impl<VStore> Subsumption<VStore> for Conjunction<VStore>

impl<VStore> Subsumption<VStore> for Disjunction<VStore>

impl<VStore> Subsumption<VStore> for AllEqual<VStore>

impl<VStore> Subsumption<VStore> for XEqYPlusZ<VStore>

where VStore: Collection, XGreaterEqYPlusZ<VStore>: Subsumption<VStore>, XLessEqYPlusZ<VStore>: Subsumption<VStore>,

impl<VStore> Subsumption<VStore> for XNeqY<VStore>

where VStore: Collection, XEqY<VStore>: Subsumption<VStore>,

impl<VStore> Subsumption<VStore> for Distinct<VStore>

impl<VStore, Dom> Subsumption<VStore> for XEqYMulZ<VStore>

where VStore: Collection<Item = Dom>, Dom: Bounded + IsSingleton + Mul<Output = Dom> + Overlap,

impl<VStore, Dom, Bound> Subsumption<VStore> for Boolean<VStore>

where VStore: Collection<Item = Dom>, Dom: Bounded<Item = Bound> + IsSingleton, Bound: Num,

impl<VStore, Dom, Bound> Subsumption<VStore> for BooleanNeg<VStore>

where VStore: Collection<Item = Dom>, Dom: Bounded<Item = Bound> + IsSingleton, Bound: Num,

impl<VStore, Dom, Bound> Subsumption<VStore> for XEqY<VStore>

where VStore: Collection<Item = Dom>, Dom: Bounded<Item = Bound> + Disjoint, Bound: PartialOrd,

impl<VStore, Dom, Bound> Subsumption<VStore> for XGreaterYPlusZ<VStore>

where VStore: Collection<Item = Dom>, Dom: Bounded<Item = Bound>, Bound: PartialOrd + Num,

impl<VStore, Dom, Bound> Subsumption<VStore> for XLessY<VStore>

where VStore: Collection<Item = Dom>, Dom: Bounded<Item = Bound>, Bound: PartialOrd,

impl<VStore, Dom, Bound> Subsumption<VStore> for XLessYPlusZ<VStore>

where VStore: Collection<Item = Dom>, Dom: Bounded<Item = Bound>, Bound: PartialOrd + Num,

impl<VStore, Event, R, S> Subsumption<VStore> for Store<VStore, Event, R, S>