- p -

• p : souffle::detail::joined_sequence< Iter, Printer >
• parameters : souffle::ast::Directive
• paramIndex : souffle::ReadStreamJSON
• params : souffle::ast::analysis::NormalisedClause::NormalisedClauseElement , souffle::IntrinsicFunctorInfo , souffle::ReadStreamJSON , souffle::WriteStreamJSON
• parent : souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::base , souffle::SparseArray< T, BITS, merge_op, copy_op >::Node
• parentQueryViewContext : souffle::interpreter::NodeGenerator
• pipeline : souffle::ast::transform::PipelineTransformer
• plan : souffle::ast::Clause
• plans : souffle::ast::ExecutionPlan
• polyAnalysis : souffle::ast2ram::AstToRamTranslator , souffle::ast::transform::TypeCheckerImpl
• pos : souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::iterator , souffle::ReadStreamJSON , souffle::Table< T, blockSize >::iterator , souffle::tuple
• position : souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::base
• post : souffle::LRUCache< T, size >
• postMaxRSS : souffle::profile::Relation
• pragmas : souffle::ast::Program
• precedenceGraph : souffle::ast::analysis::RedundantRelationsAnalysis , souffle::ast::analysis::RelationScheduleAnalysis , souffle::ast::analysis::SCCGraphAnalysis , souffle::ast::transform::SemanticCheckerImpl
• precision : souffle::profile::Tui
• predecessors : souffle::ast::analysis::SCCGraphAnalysis
• preMaxRSS : souffle::profile::Relation
• preSize : souffle::Logger
• prevFpeHandler : souffle::SignalHandler
• prevIntHandler : souffle::SignalHandler
• prevSegVHandler : souffle::SignalHandler
• primaryMessage : souffle::Diagnostic
• primitiveTypes : souffle::ast::analysis::TypeEnvironment
• primitiveTypesInUnions : souffle::ast::analysis::TypeEnvironmentAnalysis
• printSizeRelations : souffle::ast::analysis::IOTypeAnalysis
• priv : souffle::LRUCache< T, size >
• profile_name : souffle::CmdOptions
• profileEnabled : souffle::interpreter::Engine
• profileText : souffle::ram::NestedOperation
• profileUse : souffle::ast::ProfileUseSips
• profiling : souffle::CmdOptions
• prog : souffle::ExplainProvenance , souffle::interpreter::ProgInterface
• ProgInterface : souffle::interpreter::Engine
• program : souffle::ast2ram::AstToRamTranslator , souffle::ast::analysis::AuxiliaryArityAnalysis , souffle::ast::analysis::TypeConstraintsAnalysis , souffle::ast::transform::SemanticCheckerImpl , souffle::ast::transform::TypeCheckerImpl , souffle::ast::transform::TypeDeclarationChecker , souffle::ast::TranslationUnit , souffle::ram::TranslationUnit , souffle::RelationWrapper< RelType > , SWIGSouffleProgram
• programRun : souffle::ast::analysis::ProfileUseAnalysis , souffle::profile::OutputProcessor
• prompt : souffle::profile::InputReader
• prov : souffle::Explain
• provenanceIndexNumbers : souffle::synthesiser::Relation
• ptr : souffle::SparseArray< T, BITS, merge_op, copy_op >::Cell , TCB_SPAN_NAMESPACE_NAME::detail::span_storage< E, S > , TCB_SPAN_NAMESPACE_NAME::detail::span_storage< E, dynamic_extent >