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