- p -

• peak() : Cache< FuncType, ParamType, ResType, EvalFunc > , GDDD , GSDD , MLCache< MLHomType, NodeType, HomNodeMapType >
• peak_size() : UniqueTableId< T, ID >
• phi() : _incVar , _setVarConst , _VarCompState , _VarCompVar , StrongHom , StrongMLHom , StrongMLShom , StrongShom
• phiOne() : _incVar , _setVarConst , _VarCompState , _VarCompVar , StrongHom , StrongMLHom , StrongMLShom , StrongShom
• postGarbageCollect() : GCHook
• preGarbageCollect() : GCHook
• print() : _GHom , _GShom , _incVar , _setVarConst , _VarCompState , _VarCompVar , Add , And , Apply2k , Compose , Constant , DomExtract , Fixpoint , GDDD , GSDD , Identity , Inter , LeftConcat , Minus , MLHomAdapter , Monotonic , Mult , NotCond , RightConcat , sns::Add , sns::And , sns::Compose , sns::Constant , sns::Fixpoint , sns::HomMinus , sns::Identity , sns::Inter , sns::LeftConcat , sns::LocalApply , sns::Minus , sns::MLShomAdapter , sns::Mult , sns::RecFireSat , sns::RightConcat , sns::SApply2k , sns::SDomExtract , sns::SLocalApply , sns::SNotCond , StrongHom , StrongShom
• print_free_list() : UniqueTableId< T, ID >
• print_header() : Statistic
• print_legend() : Statistic
• print_line() : Statistic
• print_marked() : UniqueTableId< T, ID >
• print_table() : Statistic , UniqueTableId< T, ID >
• print_trailer() : Statistic
• printColor() : dotExporter
• printLevels() : dotExporter
• pstats() : GDDD , GHom , GSDD , GShom , MemoryManager
• push() : UniqueTableId< T, ID >