- p -
- param_descrs()
: param_descrs
, Fixedpoint
, Optimize
, Solver
, Tactic
- params()
: params
, ExprRef
, FuncDeclRef
- parse_file()
: context
, Fixedpoint
- parse_string()
: context
, Fixedpoint
- pattern()
: QuantifierRef
- pop()
: optimize
, solver
, Optimize
, Solver
- pop_back()
: ast_vector_tpl< T >
- prec()
: Goal
- precision()
: goal
, Goal
- probe()
: probe
- proof()
: solver
, Solver
- ptr()
: array< T >
- push()
: optimize
, solver
, AstVector
, Optimize
, Solver
- push_back()
: ast_vector_tpl< T >