[−][src]Trait differential_formula::term::TermBehavior

pub trait TermBehavior {
    fn variables(&self) -> HashSet<Term>;

    fn get_bindings_in_place<T>(&self, binding: &mut T, term: &Term) -> bool
    where
        T: GenericMap<Term, Term>;

    fn get_bindings(&self, term: &Term) -> Option<HashMap<Term, Term>>;

    fn get_ordered_bindings(&self, term: &Term) -> Option<OrdMap<Term, Term>>;

    fn is_groundterm(&self) -> bool;

    fn propagate_bindings<T: GenericMap<Term, Term>>(&self, map: &T) -> Term;

    fn propagate_reverse_bindings<T: GenericMap<Term, String>>(
        &self, 
        reverse_map: &T
    ) -> Term;

    fn is_dc_variable(&self) -> bool;

    fn root_var(&self) -> Term;

    fn get_subterm_by_label(&self, label: &String) -> Option<Term>;

    fn get_subterm_by_labels(&self, labels: &Vec<String>) -> Option<Term>;
}

Required methods

fn variables(&self) -> HashSet<Term>

fn get_bindings_in_place<T>(&self, binding: &mut T, term: &Term) -> bool where
    T: GenericMap<Term, Term>, 

fn get_bindings(&self, term: &Term) -> Option<HashMap<Term, Term>>

fn get_ordered_bindings(&self, term: &Term) -> Option<OrdMap<Term, Term>>

fn is_groundterm(&self) -> bool

fn propagate_bindings<T: GenericMap<Term, Term>>(&self, map: &T) -> Term

fn propagate_reverse_bindings<T: GenericMap<Term, String>>(
    &self,
    reverse_map: &T
) -> Term

fn is_dc_variable(&self) -> bool

fn root_var(&self) -> Term

fn get_subterm_by_label(&self, label: &String) -> Option<Term>

fn get_subterm_by_labels(&self, labels: &Vec<String>) -> Option<Term>

Loading content...

Implementors

impl TermBehavior for Atom[src]

impl TermBehavior for Term[src]

impl TermBehavior for Composite[src]

impl TermBehavior for Variable[src]

Loading content...