ap.parser
Class for collecting the variables, constants, or nullary predicates occurring in an expression.
Class for collecting the variables, constants, or nullary predicates occurring in an expression.