[−][src]Trait proto_vulcan::state::constraint::TreeConstraint

pub trait TreeConstraint<U: UserState>: BaseConstraint<U> {
    fn subsumes(&self, other: &dyn TreeConstraint<U>) -> bool;

    fn smap_ref(&self) -> &SMap;

    fn walk_star(&self, smap: &SMap) -> SMap;
}

Required methods

fn subsumes(&self, other: &dyn TreeConstraint<U>) -> bool

fn smap_ref(&self) -> &SMap

fn walk_star(&self, smap: &SMap) -> SMap

Loading content...

Implementors

impl<U: UserState> TreeConstraint<U> for DisequalityConstraint[src]

fn subsumes(&self, other: &dyn TreeConstraint<U>) -> bool[src]

If the self subsumes the other.

A constraint is subsumed by another constraint if unifying the constraint in the substitution of the another constraint does not extend the constraint.

Loading content...