Here is a list of all struct and union fields with links to the structures/unions they belong to:

- p -

• p : souffle::detail::joined_sequence< Iter, Printer >
• pack() : souffle::RecordMap , souffle::RecordTable
• PackRecord() : souffle::ram::PackRecord
• PairStore : souffle::SparseDisjointSet< SparseDomain >
• Parallel() : souffle::ram::Parallel
• ParallelAggregate() : souffle::ram::ParallelAggregate
• ParallelChoice() : souffle::ram::ParallelChoice
• ParallelIndexAggregate() : souffle::ram::ParallelIndexAggregate
• ParallelIndexChoice() : souffle::ram::ParallelIndexChoice
• ParallelIndexScan() : souffle::ram::ParallelIndexScan
• parallelizeOperations() : souffle::ram::transform::ParallelTransformer
• ParallelScan() : souffle::ram::ParallelScan
• 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
• parenttype : souffle::detail::LambdaBTree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, Functor, WeakComparator, Updater >
• parse() : json11::Json , souffle::CmdOptions , souffle::ParserDriver , souffle::profile::Cli
• parse_multi() : json11::Json
• parseTranslationUnit() : souffle::ParserDriver
• parseTuple() : souffle::Explain
• partition() : souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater > , souffle::EquivalenceRelation< TupleType > , souffle::range< Iter > , souffle::Trie< Dim > , souffle::Trie< 1u >
• partitionIO() : souffle::ast::transform::MagicSetTransformer::NormaliseDatabaseTransformer
• partitionRange() : souffle::interpreter::Index< _Arity, Structure > , souffle::interpreter::Index< 0, Structure > , souffle::interpreter::Relation< _Arity, Structure >
• partitionScan() : souffle::interpreter::Index< _Arity, Structure > , souffle::interpreter::Index< 0, Structure > , souffle::interpreter::Relation< _Arity, Structure >
• PiggyList() : souffle::PiggyList< T >
• pipeline : souffle::ast::transform::PipelineTransformer
• PipelineTransformer() : souffle::ast::transform::PipelineTransformer
• place() : souffle::InnerNode , souffle::LeafNode , souffle::TreeNode
• plan : souffle::ast::Clause
• plans : souffle::ast::ExecutionPlan
• pointer : souffle::detail::brie::forward_non_output_iterator_traits< A > , souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::iterator , souffle::EquivalenceRelation< TupleType >::iterator , souffle::t_nullaries::iterator , TCB_SPAN_NAMESPACE_NAME::span< ElementType, Extent >
• polyAnalysis : souffle::ast2ram::AstToRamTranslator , souffle::ast::transform::TypeCheckerImpl
• PolymorphicObjectsAnalysis() : souffle::ast::analysis::PolymorphicObjectsAnalysis
• 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
• pProofCounter() : souffle::LogStatement
• pr2b() : souffle::DisjointSet
• Pragma() : souffle::ast::Pragma
• pragmas : souffle::ast::Program
• precedenceGraph : souffle::ast::analysis::RedundantRelationsAnalysis , souffle::ast::analysis::RelationScheduleAnalysis , souffle::ast::analysis::SCCGraphAnalysis , souffle::ast::transform::SemanticCheckerImpl
• PrecedenceGraphAnalysis() : souffle::ast::analysis::PrecedenceGraphAnalysis
• precision : souffle::profile::Tui
• predecessors : souffle::ast::analysis::SCCGraphAnalysis , souffle::Graph< Vertex, Compare >
• preMaxRSS : souffle::profile::Relation
• prepareInsertStatement() : souffle::WriteStreamSQLite
• prepareSelectStatement() : souffle::ReadStreamSQLite
• prepareStatements() : souffle::WriteStreamSQLite
• prepareSymbolInsertStatement() : souffle::WriteStreamSQLite
• prepareSymbolSelectStatement() : souffle::WriteStreamSQLite
• prepend() : souffle::ast::QualifiedName
• preSize : souffle::Logger
• prevFpeHandler : souffle::SignalHandler
• prevIntHandler : souffle::SignalHandler
• prevSegVHandler : souffle::SignalHandler
• primaryMessage : souffle::Diagnostic
• PrimitiveType() : souffle::ast::analysis::PrimitiveType
• primitiveTypes : souffle::ast::analysis::TypeEnvironment
• primitiveTypesInUnions : souffle::ast::analysis::TypeEnvironmentAnalysis
• print() : souffle::ast2ram::Location , souffle::ast2ram::ValueIndex , souffle::ast::Aggregator , souffle::ast::AlgebraicDataType , souffle::ast::analysis::AlgebraicDataType::Branch , souffle::ast::analysis::AlgebraicDataType , souffle::ast::analysis::Analysis , souffle::ast::analysis::Assignment< Var > , souffle::ast::analysis::ClauseNormalisationAnalysis , souffle::ast::analysis::Constraint< Var > , souffle::ast::analysis::ConstraintAnalysisVar< PropertySpace > , souffle::ast::analysis::FunctorAnalysis , souffle::ast::analysis::IOTypeAnalysis , souffle::ast::analysis::PolymorphicObjectsAnalysis , souffle::ast::analysis::PrecedenceGraphAnalysis , souffle::ast::analysis::PrimitiveType , souffle::ast::analysis::Problem< Var > , souffle::ast::analysis::ProfileUseAnalysis , souffle::ast::analysis::RecordType , souffle::ast::analysis::RecursiveClausesAnalysis , souffle::ast::analysis::RedundantRelationsAnalysis , souffle::ast::analysis::RelationDetailCacheAnalysis , souffle::ast::analysis::RelationScheduleAnalysis , souffle::ast::analysis::RelationScheduleAnalysisStep , souffle::ast::analysis::SCCGraphAnalysis , souffle::ast::analysis::SubsetType , souffle::ast::analysis::TopologicallySortedSCCGraphAnalysis , souffle::ast::analysis::Type , souffle::ast::analysis::TypeAnalysis , souffle::ast::analysis::TypeEnvironment , souffle::ast::analysis::TypeEnvironmentAnalysis , souffle::ast::analysis::TypeSet , souffle::ast::analysis::UnionType , souffle::ast::analysis::Variable< Id, PropertySpace > , souffle::ast::Atom , souffle::ast::Attribute , souffle::ast::BinaryConstraint , souffle::ast::BooleanConstraint , souffle::ast::BranchDeclaration , souffle::ast::BranchInit , souffle::ast::Clause , souffle::ast::Component , souffle::ast::ComponentInit , souffle::ast::ComponentType , souffle::ast::Constant , souffle::ast::Counter , souffle::ast::Directive , souffle::ast::ExecutionOrder , souffle::ast::ExecutionPlan , souffle::ast::FunctorDeclaration , souffle::ast::IntrinsicFunctor , souffle::ast::Negation , souffle::ast::Node , souffle::ast::Pragma , souffle::ast::Program , souffle::ast::ProvenanceNegation , souffle::ast::QualifiedName , souffle::ast::RecordInit , souffle::ast::RecordType , souffle::ast::Relation , souffle::ast::StringConstant , souffle::ast::SubroutineArgument , souffle::ast::SubsetType , souffle::ast::TypeCast , souffle::ast::UnionType , souffle::ast::UnnamedVariable , souffle::ast::UserDefinedFunctor , souffle::ast::Variable , souffle::BaseTable< K, V > , souffle::DebugReport , souffle::detail::brie::SparseArrayIter< SparseArray > , souffle::detail::brie::SparseBitMapIter< SparseBitMap > , souffle::detail::brie::TrieIterator< Value, IterCore > , souffle::detail::brie::TrieTypes< Dim >::iterator_core , souffle::detail::brie::TrieTypes< 1u >::iterator_core , souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::iterator , souffle::Diagnostic , souffle::DiagnosticMessage , souffle::ErrorReport , souffle::Graph< Vertex, Compare > , souffle::ram::AbstractAggregate , souffle::ram::AbstractExistenceCheck , souffle::ram::Aggregate , souffle::ram::analysis::Analysis , souffle::ram::analysis::IndexAnalysis , souffle::ram::analysis::MinIndexSelection , souffle::ram::AutoIncrement , souffle::ram::Break , souffle::ram::Call , souffle::ram::Choice , souffle::ram::Clear , souffle::ram::Conjunction , souffle::ram::Constraint , souffle::ram::DebugInfo , souffle::ram::EmptinessCheck , souffle::ram::Exit , souffle::ram::Extend , souffle::ram::False , souffle::ram::Filter , souffle::ram::FloatConstant , souffle::ram::IndexAggregate , souffle::ram::IndexChoice , souffle::ram::IndexScan , souffle::ram::IntrinsicOperator , souffle::ram::IO , souffle::ram::LogRelationTimer , souffle::ram::LogSize , souffle::ram::LogTimer , souffle::ram::Loop , souffle::ram::Negation , souffle::ram::NestedIntrinsicOperator , souffle::ram::NestedOperation , souffle::ram::Node , souffle::ram::Operation , souffle::ram::PackRecord , souffle::ram::Parallel , souffle::ram::ParallelAggregate , souffle::ram::ParallelChoice , souffle::ram::ParallelIndexAggregate , souffle::ram::ParallelIndexChoice , souffle::ram::ParallelIndexScan , souffle::ram::ParallelScan , souffle::ram::Program , souffle::ram::Project , souffle::ram::ProvenanceExistenceCheck , souffle::ram::Query , souffle::ram::Relation , souffle::ram::RelationSize , souffle::ram::Scan , souffle::ram::Sequence , souffle::ram::SignedConstant , souffle::ram::Statement , souffle::ram::SubroutineArgument , souffle::ram::SubroutineReturn , souffle::ram::Swap , souffle::ram::True , souffle::ram::TupleElement , souffle::ram::UndefValue , souffle::ram::UnpackRecord , souffle::ram::UnsignedConstant , souffle::ram::UserDefinedOperator , souffle::ScreenBuffer , souffle::SrcLocation::Point , souffle::SrcLocation , souffle::SymbolTable
• printAll() : souffle::interpreter::ProgInterface , souffle::SouffleProgram , SWIGSouffleProgram
• printContent() : souffle::DebugReportSection
• printError() : souffle::Explain
• printHelpPage() : souffle::CmdOptions
• printIndex() : souffle::DebugReportSection , souffle::ram::IndexOperation
• printInfo() : souffle::Explain
• printJSON() : souffle::InnerNode , souffle::LeafNode , souffle::TreeNode
• printPrompt() : souffle::Explain
• printRulesJSON() : souffle::ExplainProvenance , souffle::ExplainProvenanceImpl
• printSizeRelations : souffle::ast::analysis::IOTypeAnalysis
• printStatistics() : souffle::t_info< Arity_ > , souffle::t_nullaries
• printStats() : souffle::detail::brie::TrieBase< Dim, Derived > , souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >
• printTitle() : souffle::DebugReportSection
• printTree() : souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::node , souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater > , souffle::Explain
• priv : souffle::LRUCache< T, size >
• process() : souffle::profile::ConfigProcessor , souffle::profile::EventProcessor , souffle::profile::EventProcessorSingleton , souffle::profile::FrequencyAtomProcessor , souffle::profile::NonRecursiveRelationNumberProcessor , souffle::profile::NonRecursiveRelationTimingProcessor , souffle::profile::NonRecursiveRuleNumberProcessor , souffle::profile::NonRecursiveRuleTimingProcessor , souffle::profile::ProgramResourceUtilisationProcessor , souffle::profile::ProgramRuntimeProcessor , souffle::profile::ProgramTimepointProcessor , souffle::profile::RecursiveRelationCopyTimingProcessor , souffle::profile::RecursiveRelationNumberProcessor , souffle::profile::RecursiveRelationTimingProcessor , souffle::profile::RecursiveRuleNumberProcessor , souffle::profile::RecursiveRuleTimingProcessor , souffle::profile::RelationIOTimingProcessor , souffle::profile::RelationReadsProcessor , souffle::profile::TextProcessor
• processArgs() : souffle::MainConfig
• processCommand() : souffle::Explain
• processEqualityBindings() : souffle::ast::BindingStore
• processFile() : souffle::profile::Reader
• profile_name : souffle::CmdOptions
• profileEnabled : souffle::interpreter::Engine
• ProfileEventSingleton() : souffle::ProfileEventSingleton
• profileText : souffle::ram::NestedOperation
• ProfileTimer() : souffle::ProfileEventSingleton::ProfileTimer
• profileUse : souffle::ast::ProfileUseSips
• ProfileUseAnalysis() : souffle::ast::analysis::ProfileUseAnalysis
• ProfileUseSips() : souffle::ast::ProfileUseSips
• profiling : souffle::CmdOptions
• prog : souffle::ExplainProvenance , souffle::interpreter::ProgInterface
• ProgInterface : souffle::interpreter::Engine , souffle::interpreter::ProgInterface
• 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
• Program() : souffle::ram::Program , souffle::ram::Statement
• program : souffle::ram::TranslationUnit , souffle::RelationWrapper< RelType > , SWIGSouffleProgram
• ProgramFactory() : souffle::ProgramFactory
• ProgramResourceUtilisationProcessor() : souffle::profile::ProgramResourceUtilisationProcessor
• programRun : souffle::ast::analysis::ProfileUseAnalysis , souffle::profile::OutputProcessor
• ProgramRun() : souffle::profile::ProgramRun
• ProgramRuntimeProcessor() : souffle::profile::ProgramRuntimeProcessor
• ProgramTimepointProcessor() : souffle::profile::ProgramTimepointProcessor
• Project() : souffle::interpreter::Project , souffle::ram::Project
• prompt : souffle::profile::InputReader
• property_space : souffle::ast::analysis::Assignment< Var > , souffle::ast::analysis::Variable< Id, PropertySpace >
• prov : souffle::Explain
• ProvenanceClauseTranslator() : souffle::ast2ram::ProvenanceClauseTranslator
• ProvenanceExistenceCheck() : souffle::interpreter::ProvenanceExistenceCheck , souffle::ram::ProvenanceExistenceCheck
• 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 >
• purge() : souffle::interpreter::Relation< _Arity, Structure > , souffle::interpreter::RelationWrapper , souffle::interpreter::RelInterface , souffle::Relation , souffle::RelationWrapper< RelType > , souffle::t_info< Arity_ > , souffle::t_nullaries
• purgeInputRelations() : souffle::SouffleProgram
• purgeInternalRelations() : souffle::SouffleProgram
• purgeOutputRelations() : souffle::SouffleProgram
• push_back() : souffle::ConstConstraint , souffle::Equivalence