pub trait PredicateReflection: Display {
    fn parameters(
        &'a self
    ) -> Box<dyn Iterator<Item = Parameter<'a>> + 'a, Global> { ... } fn children(&'a self) -> Box<dyn Iterator<Item = Child<'a>> + 'a, Global> { ... } }
Expand description

Introspect the state of a Predicate.

Provided Methods

Parameters of the current Predicate.

Nested Predicates of the current Predicate.

Implementors