Generates RTE for a single function.
Main entry point of the plug-in, used by -rte option: computes RTE on the whole AST.
-rte
Generates all RTEs for a given function.
Generates preconditions RTE for a given function.
Generates all RTEs except preconditions for a given function.
Is there some element satisfying the given predicate?
Does the given element belong to the set?
Set the boolean to false.
false
Set the boolean to true.
true