srdf::srdf_parser

Function satisfy

Source
pub fn satisfy<RDF, P>(predicate: P, predicate_name: &str) -> Satisfy<RDF, P>
where RDF: SRDF, P: FnMut(&RDF::Term) -> bool,
Expand description

Creates a parser that checks if the current node satisfies a predicate

The predicate_name argument is useful in case of failure to know which condition has failed