| Calloc_trace_cb_t | |
| Cbpf_elf_map | |
| Cbpf_map | |
| Cbpf_table | A helper structure used to describe attributes |
| Cclone_session_entry | |
| Cdp_packet | |
| ►CE | |
| CP4::backtrace_exception< E > | |
| ►CP4::AbstractParserDriver | |
| CP4::P4ParserDriver | A ParserDriver that can parse P4-16 programs |
| CP4::V1::V1ParserDriver | A ParserDriver that can parse P4-14 programs |
| CP4::ActionInvocation | |
| CP4::ActionReplacement | |
| ►CP4::ActionSynthesisPolicy | |
| CP4::BMV2::SkipControls | This class implements a policy suitable for the SynthesizeActions pass |
| CP4::P4Test::SkipControls | |
| CP4::AllocTrace | |
| CP4::AnnotationSelectionPolicy | |
| CP4::AutoCompileContext | |
| ►CP4::BFRT::BFRuntimeGenerator | |
| CP4::BFRT::BFRuntimeSchemaGenerator | |
| CP4::BFRT::BFRuntimeGenerator::ActionProf | |
| CP4::BFRT::BFRuntimeGenerator::Counter | Common counter representation between PSA and other architectures |
| CP4::BFRT::BFRuntimeGenerator::Digest | Common digest representation between PSA and other architectures |
| CP4::BFRT::BFRuntimeGenerator::Meter | Common meter representation between PSA and other architectures |
| CP4::BFRT::BFRuntimeGenerator::Register | Common register representation between PSA and other architectures |
| CP4::BFRT::BFRuntimeSchemaGenerator::ActionSelector | |
| CP4::BFRT::TypeSpecParser | |
| CP4::BFRT::TypeSpecParser::Field | |
| CP4::BitRange::FromTo | |
| CP4::BitRange::MinToMax | |
| CP4::BitRange::StartLen | |
| CP4::BitRange::ZeroToMax | |
| CP4::bitranges | |
| ►CP4::bitvec | |
| CP4::LTBitMatrix | |
| CP4::SymBitMatrix | |
| CP4::bitvec::const_bitref | |
| CP4::bitvec::copy_bitref | |
| CP4::bitvec::nonconst_bitref | |
| ►CP4::BMV2::Backend | Backend is a the base class for SimpleSwitchBackend and PortableSwitchBackend |
| CP4::BMV2::PnaNicBackend | |
| CP4::BMV2::PsaSwitchBackend | |
| CP4::BMV2::SimpleSwitchBackend | |
| CP4::BMV2::CFG::Edge | A CFG Edge; can be an in-edge or out-edge |
| CP4::BMV2::ConversionContext | |
| CP4::BMV2::ExternConverter | |
| CP4::BMV2::Helpers::CounterlikeTraits< Kind > | |
| ►CP4::BMV2::Helpers::CounterlikeTraits< Standard::CounterExtern< Standard::Arch::PSA > > | CounterlikeTraits<> specialization for CounterExtern for PSA |
| CP4::BMV2::Helpers::CounterlikeTraits< Standard::CounterExtern< Standard::Arch::PNA > > | CounterlikeTraits<> specialization for CounterExtern for PNA |
| CP4::BMV2::Helpers::CounterlikeTraits< Standard::CounterExtern< Standard::Arch::V1MODEL > > | CounterlikeTraits<> specialization for CounterExtern for v1model |
| CP4::BMV2::Helpers::CounterlikeTraits< Standard::CounterExtern< Standard::Arch::V1MODEL2020 > > | |
| ►CP4::BMV2::Helpers::CounterlikeTraits< Standard::MeterExtern< Standard::Arch::PSA > > | CounterlikeTraits<> specialization for MeterExtern for PSA |
| CP4::BMV2::Helpers::CounterlikeTraits< Standard::MeterExtern< Standard::Arch::PNA > > | CounterlikeTraits<> specialization for MeterExtern for PNA |
| CP4::BMV2::Helpers::CounterlikeTraits< Standard::MeterExtern< Standard::Arch::V1MODEL > > | CounterlikeTraits<> specialization for MeterExtern for v1model |
| CP4::BMV2::Helpers::CounterlikeTraits< Standard::MeterExtern< Standard::Arch::V1MODEL2020 > > | |
| CP4::BMV2::JsonObjects | |
| CP4::BMV2::MatchImplementation | |
| ►CP4::BMV2::PortableCodeGenerator | |
| CP4::BMV2::PnaCodeGenerator | |
| CP4::BMV2::PsaCodeGenerator | |
| CP4::BMV2::Standard::ActionProfileTraits< arch > | |
| ►CP4::BMV2::Standard::ActionProfileTraits< Arch::PSA > | |
| CP4::BMV2::Standard::ActionProfileTraits< Arch::PNA > | |
| ►CP4::BMV2::Standard::ActionSelectorTraits< Arch::PSA > | |
| CP4::BMV2::Standard::ActionSelectorTraits< Arch::PNA > | |
| ►CP4::BMV2::Standard::ActionProfileTraits< Arch::V1MODEL > | |
| ►CP4::BMV2::Standard::ActionProfileTraits< Arch::V1MODEL2020 > | |
| CP4::BMV2::Standard::ActionSelectorTraits< Arch::V1MODEL2020 > | |
| CP4::BMV2::Standard::ActionSelectorTraits< Arch::V1MODEL > | |
| CP4::BMV2::Standard::ActionSelectorTraits< arch > | |
| CP4::BMV2::Standard::CounterExtern< arch > | |
| CP4::BMV2::Standard::MeterExtern< arch > | |
| CP4::BMV2::Standard::RegisterTraits< arch > | Traits for the register extern, must be specialized for v1model and PSA |
| ►CP4::BMV2::Standard::RegisterTraits< Arch::PSA > | |
| CP4::BMV2::Standard::RegisterTraits< Arch::PNA > | |
| ►CP4::BMV2::Standard::RegisterTraits< Arch::V1MODEL > | |
| CP4::BMV2::Standard::RegisterTraits< Arch::V1MODEL2020 > | |
| CP4::BMV2::TableAttributes | |
| CP4::BMV2::V1ModelProperties | |
| ►CP4::CallGraph< T > | |
| CP4::P4Tools::ExtendedCallGraph< DCGVertexType > | |
| CP4::P4Tools::ExtendedCallGraph< T > | |
| CP4::CallGraph< T >::Loop | |
| CP4::CallGraph< T >::Loops | |
| CP4::CallGraph< T >::sccInfo | |
| ►CP4::ChooseEnumRepresentation | |
| CP4::BMV2::EnumOn32Bits | |
| CP4::BMV2::PnaEnumOn32Bits | |
| CP4::BMV2::PsaEnumOn32Bits | |
| CP4::DPDK::EnumOn32Bits | |
| CP4::EBPF::EnumOn32Bits | |
| CP4::EnumOn32Bits | |
| CP4::UBPF::EnumOn32Bits | |
| ►CP4::ChooseErrorRepresentation | |
| CP4::DPDK::ErrorWidth | |
| CP4::ClosedRange< Unit, Order > | |
| CP4::CompileContextStack | |
| CP4::ComplexValues | |
| CP4::ComputeDefUse::loc_t | |
| CP4::ConstantFoldingPolicy | |
| CP4::ControlFlowVisitor::flow_join_info_t | |
| CP4::ControlFlowVisitor::GuardGlobal | RAII class to ensure global key is only used in one place |
| CP4::ControlFlowVisitor::SaveGlobal | RAII class to save and restore one or more global keys |
| CP4::ControlPlaneAPI::ActionRef | |
| CP4::ControlPlaneAPI::ControllerType | See section "User-defined types" in P4RT specification |
| CP4::ControlPlaneAPI::DefaultAction | The information about a default action which is needed to serialize it |
| CP4::ControlPlaneAPI::FieldIdAllocator< T > | |
| CP4::ControlPlaneAPI::FlattenHeader | Flattens a header type "locally", without modifying the IR |
| CP4::ControlPlaneAPI::Helpers::Counterlike< Kind > | |
| CP4::ControlPlaneAPI::Helpers::CounterlikeTraits< Kind > | A traits class describing the properties of "counterlike" things |
| CP4::ControlPlaneAPI::Helpers::CounterlikeTraits< Standard::CounterExtern< Standard::Arch::PNA > > | CounterlikeTraits<> specialization for CounterExtern for PNA |
| CP4::ControlPlaneAPI::Helpers::CounterlikeTraits< Standard::CounterExtern< Standard::Arch::PSA > > | CounterlikeTraits<> specialization for CounterExtern for PSA |
| CP4::ControlPlaneAPI::Helpers::CounterlikeTraits< Standard::CounterExtern< Standard::Arch::V1MODEL > > | CounterlikeTraits<> specialization for CounterExtern for v1model |
| CP4::ControlPlaneAPI::Helpers::CounterlikeTraits< Standard::CounterExtern< Standard::Arch::V1MODEL2020 > > | |
| CP4::ControlPlaneAPI::Helpers::CounterlikeTraits< Standard::MeterExtern< Standard::Arch::PNA > > | CounterlikeTraits<> specialization for MeterExtern for PNA |
| CP4::ControlPlaneAPI::Helpers::CounterlikeTraits< Standard::MeterExtern< Standard::Arch::PSA > > | CounterlikeTraits<> specialization for MeterExtern for PSA |
| CP4::ControlPlaneAPI::Helpers::CounterlikeTraits< Standard::MeterExtern< Standard::Arch::V1MODEL > > | CounterlikeTraits<> specialization for MeterExtern for v1model |
| CP4::ControlPlaneAPI::Helpers::CounterlikeTraits< Standard::MeterExtern< Standard::Arch::V1MODEL2020 > > | |
| CP4::ControlPlaneAPI::MatchField | The information about a match field which is needed to serialize it |
| CP4::ControlPlaneAPI::P4InfoMaps | |
| CP4::ControlPlaneAPI::P4RuntimeAnalyzer | |
| ►CP4::ControlPlaneAPI::P4RuntimeArchHandlerBuilderIface | |
| CP4::ControlPlaneAPI::Standard::PNAArchHandlerBuilder | The architecture handler builder implementation for PNA |
| CP4::ControlPlaneAPI::Standard::PNAArchHandlerBuilderForDPDK | The architecture handler builder implementation for PNA |
| CP4::ControlPlaneAPI::Standard::PSAArchHandlerBuilder | The architecture handler builder implementation for PSA |
| CP4::ControlPlaneAPI::Standard::PSAArchHandlerBuilderForDPDK | The architecture handler builder implementation for PSA |
| CP4::ControlPlaneAPI::Standard::UBPFArchHandlerBuilder | The architecture handler builder implementation for UBPF |
| CP4::ControlPlaneAPI::Standard::V1ModelArchHandlerBuilder | The architecture handler builder implementation for v1model |
| ►CP4::ControlPlaneAPI::P4RuntimeArchHandlerIface | |
| ►CP4::ControlPlaneAPI::Standard::P4RuntimeArchHandlerCommon< Arch::PSA > | |
| CP4::ControlPlaneAPI::Standard::P4RuntimeArchHandlerUBPF | |
| ►CP4::ControlPlaneAPI::Standard::P4RuntimeArchHandlerCommon< Arch::V1MODEL > | |
| CP4::ControlPlaneAPI::Standard::P4RuntimeArchHandlerV1Model | |
| ►CP4::ControlPlaneAPI::Standard::P4RuntimeArchHandlerCommon< arch > | |
| ►CP4::ControlPlaneAPI::Standard::BFRuntimeArchHandler< Arch::PNA > | |
| CP4::ControlPlaneAPI::Standard::BFRuntimeArchHandlerPNA | |
| ►CP4::ControlPlaneAPI::Standard::BFRuntimeArchHandler< Arch::PSA > | |
| CP4::ControlPlaneAPI::Standard::BFRuntimeArchHandlerPSA | |
| ►CP4::ControlPlaneAPI::Standard::P4RuntimeArchHandlerPSAPNA< Arch::PNA > | |
| CP4::ControlPlaneAPI::Standard::P4RuntimeArchHandlerPNA | |
| ►CP4::ControlPlaneAPI::Standard::P4RuntimeArchHandlerPSAPNA< Arch::PSA > | |
| CP4::ControlPlaneAPI::Standard::P4RuntimeArchHandlerPSA | |
| CP4::ControlPlaneAPI::Standard::BFRuntimeArchHandler< arch > | |
| CP4::ControlPlaneAPI::Standard::P4RuntimeArchHandlerPSAPNA< arch > | |
| CP4::ControlPlaneAPI::P4RuntimeEntriesConverter | |
| ►CP4::ControlPlaneAPI::P4RuntimeSymbolTableIface | |
| CP4::ControlPlaneAPI::P4RuntimeSymbolTable | |
| ►CP4::ControlPlaneAPI::P4RuntimeSymbolType | |
| ►CP4::ControlPlaneAPI::Standard::SymbolType | |
| CP4::ControlPlaneAPI::Standard::SymbolTypeDPDK | Extends P4RuntimeSymbolType for the DPDK extern types |
| CP4::ControlPlaneAPI::P4SymbolSuffixSet | |
| CP4::ControlPlaneAPI::Standard::ActionProfile | |
| CP4::ControlPlaneAPI::Standard::ActionProfileTraits< arch > | |
| ►CP4::ControlPlaneAPI::Standard::ActionProfileTraits< Arch::PNA > | |
| CP4::ControlPlaneAPI::Standard::ActionSelectorTraits< Arch::PNA > | |
| ►CP4::ControlPlaneAPI::Standard::ActionProfileTraits< Arch::PSA > | |
| CP4::ControlPlaneAPI::Standard::ActionSelectorTraits< Arch::PSA > | |
| ►CP4::ControlPlaneAPI::Standard::ActionProfileTraits< Arch::V1MODEL > | |
| CP4::ControlPlaneAPI::Standard::ActionSelectorTraits< Arch::V1MODEL > | |
| ►CP4::ControlPlaneAPI::Standard::ActionProfileTraits< Arch::V1MODEL2020 > | |
| CP4::ControlPlaneAPI::Standard::ActionSelectorTraits< Arch::V1MODEL2020 > | |
| CP4::ControlPlaneAPI::Standard::ActionSelector | |
| CP4::ControlPlaneAPI::Standard::ActionSelectorTraits< arch > | |
| CP4::ControlPlaneAPI::Standard::CounterExtern< arch > | |
| CP4::ControlPlaneAPI::Standard::Digest | |
| CP4::ControlPlaneAPI::Standard::MeterExtern< arch > | |
| CP4::ControlPlaneAPI::Standard::Register | |
| CP4::ControlPlaneAPI::Standard::RegisterTraits< arch > | Traits for the register extern, must be specialized for v1model and PSA |
| CP4::ControlPlaneAPI::Standard::RegisterTraits< Arch::PNA > | |
| CP4::ControlPlaneAPI::Standard::RegisterTraits< Arch::PSA > | |
| CP4::ControlPlaneAPI::Standard::RegisterTraits< Arch::V1MODEL > | |
| CP4::ControlPlaneAPI::Standard::RegisterTraits< Arch::V1MODEL2020 > | |
| CP4::ControlPlaneAPI::TranslationAnnotation | Payload of @p4runtime_translation annotation |
| CP4::Coverage::CoverageOptions | Specifies general options and which IR nodes to track with this particular visitor |
| CP4::Coverage::SourceIdCmp | Utility function to compare IR nodes in a set. We use their source info |
| CP4::cstring | |
| ►CP4::DBPrint::setflags_helper | |
| CP4::DBPrint::clrflag | |
| CP4::DBPrint::setflag | |
| CP4::DBPrint::setprec | |
| ►CP4::DeclarationLookup | |
| CP4::ReferenceMap | Class used to encode maps from paths to declarations |
| ►CP4::ResolutionContext | Visitor mixin for looking up names in enclosing scopes from the Visitor::Context |
| ►CP4::AbstractInliner< ActionsInlineList, AInlineWorkList > | |
| CP4::ActionsInliner | |
| ►CP4::AbstractInliner< FunctionsInlineList, FunctionsInlineWorkList > | |
| CP4::FunctionsInliner | |
| ►CP4::AbstractInliner< InlineList, InlineSummary > | |
| CP4::GeneralInliner | Performs actual inlining work |
| CP4::AbstractInliner< P4::InlineList, InlineWorkList > | |
| CP4::AbstractInliner< InlineList, InlineWorkList > | |
| CP4::ComputeDefUse | Compute defuse info within P4Parser and P4Control blocks in the midend |
| CP4::ComputeDefUse::SetupJoinPoints | |
| CP4::ConstantTypeSubstitution | |
| CP4::CreateStructInitializers | Converts some list expressions into struct initializers |
| CP4::Deprecated | |
| CP4::DiscoverActionsInlining | |
| CP4::DiscoverFunctionsInlining | |
| CP4::DoCheckConstants | |
| CP4::DoCheckCoreMethods | Check types for arguments of core.p4 methods |
| CP4::DoConstantFolding | Statically evaluates many constant expressions |
| CP4::DoDefaultArguments | |
| CP4::DoRemoveExits | |
| CP4::DoSimplifyControlFlow | Replace complex control flow nodes with simpler ones where possible |
| CP4::DoSimplifyExpressions | Convert expressions so that each expression contains at most one side effect |
| CP4::DoStaticAssert | |
| CP4::DontcareArgs | |
| CP4::EntryPriorities | Assigns priorities to table entries if they are not 'const' |
| CP4::FindActionParameters | |
| CP4::FindFunctionSpecializations | |
| CP4::FindGlobalActionUses | |
| CP4::FindRepeatedActionUses | |
| CP4::FindSpecializations | |
| CP4::HasTableApply | Checks to see whether an IR node includes a table.apply() sub-expression |
| CP4::InstantiateDirectCalls | |
| ►CP4::KeySideEffect | |
| CP4::DPDK::CopyMatchKeysToSingleStruct | |
| CP4::LocalizeActions | |
| CP4::MoveInitializers | |
| CP4::P4Tools::P4ProgramDCGCreator | The main class for building control flow DCG |
| CP4::ReadsWrites | Computes the SetOfLocations read and written by an expression |
| CP4::RenameSymbols | |
| CP4::ResolveReferences | |
| CP4::SubstituteParameters | |
| CP4::ToP4 | |
| CP4::TypeInference | |
| CP4::UnrollLoops | |
| CP4::detail::DbprintDispatchPtr< T > | |
| CP4::detail::DbprintDispatchRef< T > | |
| CP4::DiagnosticCountInfo | |
| CP4::DiagnosticCountInfoGuard | |
| CP4::DiagnosticCountInfoState | |
| CP4::DirectMeterMap | |
| CP4::DirectMeterMap::DirectMeterInfo | |
| CP4::DoSingleArgumentSelect::Pair | A pair of expression representing an expression and a mask |
| CP4::DPDK::actionAttributes | |
| CP4::DPDK::BranchingInstructionGeneration | |
| CP4::DPDK::ConvertLookahead::ReplacementMap | |
| CP4::DPDK::DeclarationInjector | |
| CP4::DPDK::DpdkBackend | |
| CP4::DPDK::externAttributes | |
| CP4::DPDK::fieldInfo | |
| CP4::DPDK::keyElementInfo | |
| CP4::DPDK::keyInfo | |
| CP4::DPDK::SelectionTable | Selection table attributes |
| CP4::DPDK::SwitchHandler | |
| CP4::DPDK::TableAttributes | |
| CP4::DPDK::TdiBfrtConf | |
| CP4::DPDK::TopLevelCtxt | Program level information for context json |
| CP4::DpdkProgramStructure | Collect information related to P4 programs targeting dpdk |
| CP4::Dump | |
| ►CP4::EBPF::EbpfCodeGenerator | |
| ►CP4::EBPF::PSAEbpfGenerator | |
| CP4::EBPF::PSAArchTC | |
| CP4::EBPF::PSAArchXDP | |
| ►CP4::TC::PNAEbpfGenerator | |
| CP4::TC::PNAArchTC | |
| ►CP4::EBPF::EBPFHashAlgorithmTypeFactoryPSA | |
| CP4::TC::EBPFHashAlgorithmTypeFactoryPNA | |
| CP4::EBPF::EBPFInitializerUtils | |
| ►CP4::EBPF::EBPFTypeFactory | |
| CP4::UBPF::UBPFTypeFactory | |
| ►CP4::EBPF::MidEnd | |
| CP4::UBPF::MidEnd | |
| CP4::EBPF::PSASwitchBackend | |
| ►CP4::EBPF::Target | |
| CP4::EBPF::BccTarget | Represents a target compiled by bcc that uses the TC |
| ►CP4::EBPF::KernelSamplesTarget | |
| CP4::EBPF::P4TCTarget | |
| CP4::EBPF::TestTarget | |
| CP4::EBPF::XdpTarget | Target XDP |
| CP4::UBPF::UbpfTarget | |
| CP4::EnumRepresentation | |
| CP4::ErrorCatalog | |
| CP4::ErrorMessage | |
| CP4::ErrorReporter | |
| CP4::ErrorType | |
| CP4::ExternInstance | |
| CP4::FrontEnd | |
| CP4::FunctionSpecialization | Describes how a generic function is specialized |
| CP4::FunctionSpecializationMap | |
| CP4::GlobalActionReplacements | |
| CP4::graphs::ControlGraphs::ControlStack | |
| ►CP4::graphs::EdgeTypeIface | |
| CP4::graphs::EdgeIf | |
| CP4::graphs::EdgeSwitch | |
| CP4::graphs::EdgeUnconditional | |
| CP4::graphs::Graphs::GraphAttributeSetter | |
| CP4::graphs::Graphs::Vertex | |
| CP4::graphs::ParserGraphs::TransitionEdge | |
| CP4::HalfOpenRange< Unit, Order > | |
| ►CP4::hash_vector_base | |
| CP4::hvec_map< P4::ProgramPoint, P4::Definitions * > | |
| CP4::hvec_map< const P4::IR::IDeclaration *, def_info_t > | |
| CP4::hvec_map< const P4::IR::Node *, P4::hvec_set< const loc_t * > > | |
| CP4::hvec_map< P4::loc_t, const P4::LocationSet * > | |
| CP4::hvec_map< const P4::BaseLocation *, const P4::ProgramPoints * > | |
| CP4::hvec_map< const P4::IR::IDeclaration *, P4::StorageLocation * > | |
| CP4::hvec_map< P4::cstring, const P4::StorageLocation * > | |
| CP4::hvec_set< const loc_t * > | |
| CP4::hvec_map< KEY, VAL, HASH, PRED, ALLOC > | |
| CP4::hvec_set< KEY, HASH, PRED, ALLOC > | |
| CP4::hash_vector_base::internal | |
| CP4::hash_vector_base::lookup_cache | |
| CP4::hdrFieldInfo | |
| CP4::hex | |
| CP4::hexvec | |
| ►CP4::ICompileContext | |
| ►CP4::BaseCompileContext | |
| ►CP4::P4CContext | |
| CP4::P4CContextWithOptions< BMV2Options > | |
| CP4::P4CContextWithOptions< PnaNicOptions > | |
| CP4::P4CContextWithOptions< PsaSwitchOptions > | |
| CP4::P4CContextWithOptions< SimpleSwitchOptions > | |
| CP4::P4CContextWithOptions< DpdkOptions > | |
| CP4::P4CContextWithOptions< EbpfOptions > | |
| CP4::P4CContextWithOptions< Options > | |
| CP4::P4CContextWithOptions< P4fmtOptions > | |
| CP4::P4CContextWithOptions< P4TestOptions > | |
| CP4::P4CContextWithOptions< P4ReachabilityOptions > | |
| CP4::P4CContextWithOptions< TCOptions > | |
| CP4::P4CContextWithOptions< OptionsType > | |
| CP4::P4Tools::CompileContext< OptionsType > | A compilation context for P4Tools that provides a custom compiler configuration |
| CRefCheckContext | |
| ►CP4::IHasBlock | |
| CP4::Evaluator | |
| CP4::EvaluatorPass | |
| ►CP4::IHasDbPrint | |
| CP4::SimpleCallInfo< IR::P4Action, IR::MethodCallStatement > | |
| CP4::SimpleCallInfo< IR::Node, IR::Statement > | |
| CP4::SimpleInlineWorkList< ActionCallInfo > | |
| CP4::SimpleInlineWorkList< FunctionCallInfo > | |
| CP4::StructTypeReplacement< IR::Type_Struct > | |
| ►CP4::TypeSubstitution< const IR::ITypeVar * > | |
| CP4::TypeVariableSubstitution | |
| CP4::AllDefinitions | |
| CP4::BMV2::CFG | |
| CP4::BMV2::CFG::EdgeSet | |
| ►CP4::BMV2::CFG::Node | |
| CP4::BMV2::CFG::DummyNode | |
| CP4::BMV2::CFG::IfNode | |
| CP4::BMV2::CFG::TableNode | |
| CP4::CallInfo | Describes information about a caller-callee pair |
| ►CP4::ComplexValues::Component | |
| CP4::ComplexValues::FieldsMap | |
| CP4::ComplexValues::FinalName | |
| CP4::ComputeWriteSet | |
| CP4::Definitions | List of definers for each base storage (at a specific program point) |
| CP4::IR::ID | |
| ►CP4::IR::INode | |
| CP4::IR::IDeclaration | The Declaration interface, representing objects with names |
| ►CP4::IR::Node | |
| CP4::IR::NameMap< T, MAP, COMP, ALLOC > | |
| CP4::IR::NodeMap< KEY, VALUE, MAP, COMP, ALLOC > | |
| ►CP4::IR::VectorBase | |
| CP4::IR::iterator< T > | |
| CP4::IR::Vector< IR::Type > | |
| ►CP4::IR::Vector< IR::DpdkAsmStatement > | |
| CP4::IR::IndexedVector< IR::DpdkAsmStatement > | |
| ►CP4::IR::Vector< P4::IR::Node > | |
| CP4::IR::IndexedVector< P4::IR::Node > | |
| ►CP4::IR::Vector< IR::Declaration > | |
| CP4::IR::IndexedVector< IR::Declaration > | |
| ►CP4::IR::Vector< IR::DpdkTable > | |
| CP4::IR::IndexedVector< IR::DpdkTable > | |
| ►CP4::IR::Vector< IR::DpdkSelector > | |
| CP4::IR::IndexedVector< IR::DpdkSelector > | |
| ►CP4::IR::Vector< IR::DpdkLearner > | |
| CP4::IR::IndexedVector< IR::DpdkLearner > | |
| ►CP4::IR::Vector< IR::DpdkAction > | |
| CP4::IR::IndexedVector< IR::DpdkAction > | |
| ►CP4::IR::Vector< IR::Parameter > | |
| CP4::IR::IndexedVector< IR::Parameter > | |
| ►CP4::IR::Vector< IR::DpdkDeclaration > | |
| CP4::IR::IndexedVector< IR::DpdkDeclaration > | |
| ►CP4::IR::Vector< IR::StructField > | |
| CP4::IR::IndexedVector< IR::StructField > | |
| CP4::IR::Vector< IR::Argument > | |
| ►CP4::IR::Vector< IR::ParserState > | |
| CP4::IR::IndexedVector< IR::ParserState > | |
| CP4::IR::Vector< IR::SelectCase > | |
| CP4::IR::Vector< IR::Expression > | |
| ►CP4::IR::Vector< IR::StatOrDecl > | |
| CP4::IR::IndexedVector< IR::StatOrDecl > | |
| CP4::IR::Vector< N > | |
| CP4::IR::Vector< IR::Annotation > | |
| ►CP4::IR::Vector< T > | |
| CP4::IR::IndexedVector< T > | |
| CP4::InlineSummary | Summarizes all inline operations to be performed |
| CP4::LocationPath | |
| CP4::LocationSet | |
| CP4::ParameterSubstitution | |
| ►CP4::ProgramMap | |
| CP4::ReferenceMap | Class used to encode maps from paths to declarations |
| CP4::TypeMap | |
| CP4::ProgramPoint | Indicates a statement in the program |
| CP4::ProgramPoints | |
| CP4::SetOfLocations | |
| CP4::SimpleCallInfo< CallableT, CallNodeT, CallExpressionT > | |
| CP4::SimpleInlineWorkList< CallInfo > | |
| ►CP4::StorageLocation | Abstraction for something that is has a left value (variable, parameter) |
| CP4::BaseLocation | |
| ►CP4::IndexedLocation | Interface for locations that support an index operation |
| CP4::ArrayLocation | |
| CP4::TupleLocation | |
| ►CP4::WithFieldsLocation | Base class for location sets that contain fields |
| CP4::StructLocation | |
| CP4::StorageMap | Maps a declaration to its associated storage |
| CP4::StructTypeReplacement< T > | |
| ►CP4::SymbolicValue | |
| ►CP4::ScalarValue | |
| CP4::SymbolicBool | |
| CP4::SymbolicEnum | |
| CP4::SymbolicInteger | |
| CP4::SymbolicVarbit | |
| CP4::SymbolicArray | |
| ►CP4::SymbolicError | |
| CP4::SymbolicException | |
| CP4::SymbolicStaticError | |
| ►CP4::SymbolicExtern | |
| CP4::SymbolicPacketIn | |
| ►CP4::SymbolicStruct | |
| ►CP4::SymbolicHeader | |
| CP4::AnyElement | |
| CP4::SymbolicHeaderUnion | |
| CP4::SymbolicTuple | |
| CP4::SymbolicVoid | |
| ►CP4::TypeConstraint | |
| ►CP4::BinaryConstraint | Base class for EqualityConstraint and CanBeImplicitlyCastConstraint |
| CP4::CanBeImplicitlyCastConstraint | The right type can be implicitly cast to the left type |
| CP4::EqualityConstraint | Requires two types to be equal |
| CP4::TypeConstraints | |
| CP4::TypeSpecialization | |
| CP4::TypeSpecializationMap | |
| CP4::TypeSubstitution< T > | |
| CP4::Util::Comment | |
| CP4::ValueMap | |
| CP4::indent_t | |
| CP4::IndentCtl::TempIndent | |
| CP4::InlineList | |
| CP4::InlineSummary::PerCaller | Various substitutions that must be applied for each instance |
| CP4::InlineSummary::PerCaller::key_equal | |
| CP4::InlineSummary::PerCaller::key_hash | |
| ►CP4::IOptionPragmaParser | |
| CP4::P4COptionPragmaParser | |
| CP4::IR::StateVariableEqual | Equals for StateVariable pointers. We only compare the label |
| CP4::IR::StateVariableLess | Less for StateVariable pointers. We only compare the label |
| CP4::IR::SymbolicVariableEqual | Equals for SymbolicVariable pointers. We only compare the label |
| CP4::IR::SymbolicVariableLess | Less for SymbolicVariable pointers. We only compare the label |
| CP4::IterKeys< PairIter > | |
| CP4::IterValues< PairIter > | |
| CP4::JSONGenerator | |
| CP4::JSONLoader | |
| ►CP4::KeyIsSimple | |
| ►CP4::IsLikeLeftValue | |
| CP4::IsMask | |
| CP4::IsNonConstantArrayIndex | |
| CP4::IsValid | |
| CP4::OrPolicy | |
| CP4::loc_t | |
| CP4::Log::Detail::LevelAndOutput | |
| CP4::Log::Detail::OutputLogPrefix | |
| CP4::Log::TempIndent | |
| CP4::LogAbbrev | |
| CP4::MapForKey< M > | |
| CP4::match_t | |
| ►CP4::Model::Elem | |
| CP4::EBPF::Filter_Model | |
| CP4::EBPF::Xdp_Model | |
| CP4::Model::Param_Model | Param_Model : Elem |
| ►CP4::Model::Type_Model | |
| ►CP4::Model::Enum_Model | Enum_Model : Type_Model |
| CP4::P4V1::Algorithm_Model | |
| CP4::P4V1::CloneType_Model | |
| CP4::P4V1::CounterType_Model | |
| CP4::P4V1::MeterType_Model | |
| CP4::UBPF::Algorithm_Model | |
| ►CP4::Model::Extern_Model | Extern_Model : Type_Model |
| CP4::EBPF::CounterArray_Model | |
| CP4::EBPF::TableImpl_Model | |
| CP4::P4V1::ActionProfile_Model | |
| CP4::P4V1::ActionSelector_Model | |
| CP4::P4V1::Cloner_Model | |
| ►CP4::P4V1::CounterOrMeter_Model | |
| CP4::P4V1::Counter_Model | |
| CP4::P4V1::DirectCounter_Model | |
| CP4::P4V1::DirectMeter_Model | |
| CP4::P4V1::Meter_Model | |
| CP4::P4V1::Register_Model | |
| CP4::P4V1::Truncate | |
| CP4::PacketIn | |
| CP4::PacketOut | |
| CP4::UBPF::Register_Model | |
| CP4::P4V1::StandardMetadataType_Model | |
| CP4::P4Exception_Model | |
| CP4::P4V1::Control_Model | |
| CP4::P4V1::Deparser_Model | |
| CP4::P4V1::DigestReceiver_Model | |
| CP4::P4V1::Hash_Model | |
| CP4::P4V1::Parser_Model | |
| CP4::P4V1::Random_Model | |
| CP4::P4V1::Switch_Model | |
| CP4::P4V1::VerifyUpdate_Model | |
| CP4::UBPF::Hash_Model | |
| CP4::UBPF::Pipeline_Model | |
| ►CP4::Model::Model | |
| CP4::EBPF::EBPFModel | Keep this in sync with ebpf_model.p4 and xdp_model.p4 |
| CP4::P4CoreLibrary | |
| CP4::P4V1::V1Model | |
| CP4::UBPF::UBPFModel | |
| CP4::n4 | |
| ►CP4::NameGenerator | |
| CP4::MinimalNameGenerator | |
| CP4::ReferenceMap | Class used to encode maps from paths to declarations |
| CP4::NestedStructMap | |
| CP4::NetHash::Identity | A class with the same signature as reflect, but just returning the data |
| CP4::NetHash::Reflect | |
| CP4::ordered_map< K, V, COMP, ALLOC > | |
| CP4::ordered_map< K, V, COMP, ALLOC >::value_compare | |
| ►CP4::ordered_map< std::string, JsonData * > | |
| CP4::JsonObject | |
| CP4::ordered_set< T, COMP, ALLOC > | |
| ►CP4::P4CConfiguration | |
| ►CP4::DefaultP4CConfiguration | |
| CP4::P4Tools::CompilerConfiguration | |
| CP4::P4RuntimeAPI | |
| CP4::P4RuntimeSerializer | Public APIs to generate P4Info message. Uses the singleton pattern |
| ►CP4::P4Tools::AbstractExecutionState | Represents state of execution after having reached a program point |
| CP4::P4Tools::P4Testgen::ExecutionState | Represents state of execution after having reached a program point |
| CP4::P4Tools::AbstractP4cTool< Options, typename > | |
| ►CP4::P4Tools::AbstractP4cTool< SmithOptions > | |
| CP4::P4Tools::P4Smith::Smith | |
| ►CP4::P4Tools::AbstractP4cTool< TestgenOptions > | |
| CP4::P4Tools::P4Testgen::Testgen | This is main implementation of the P4Testgen tool |
| CP4::P4Tools::ArchSpec | Specifies a canonical representation of the target pipeline as documented in P4 code |
| CP4::P4Tools::ArchSpec::ArchMember | An ArchMember represents a construct in the pipe. It has a name and parameters |
| CP4::P4Tools::FormatOptions | Defines common formatting options |
| CP4::P4Tools::InheritedCompilerOptionSpec | |
| CP4::P4Tools::Model | |
| CP4::P4Tools::NamespaceContext | Represents a stack of namespaces |
| CP4::P4Tools::P4Constants | |
| CP4::P4Tools::P4Smith::Constraints | |
| ►CP4::P4Tools::P4Smith::Generator | |
| CP4::P4Tools::P4Smith::DeclarationGenerator | |
| CP4::P4Tools::P4Smith::ExpressionGenerator | |
| CP4::P4Tools::P4Smith::ParserGenerator | |
| CP4::P4Tools::P4Smith::StatementGenerator | |
| CP4::P4Tools::P4Smith::TableGenerator | |
| CP4::P4Tools::P4Smith::P4Scope | |
| CP4::P4Tools::P4Smith::Properties | |
| CP4::P4Tools::P4Smith::Requirements | |
| CP4::P4Tools::P4Smith::Wordlist | |
| CP4::P4Tools::P4Testgen::Bmv2::BMv2Constants | |
| CP4::P4Tools::P4Testgen::Bmv2::Lexer | |
| CP4::P4Tools::P4Testgen::Bmv2::Token | |
| CP4::P4Tools::P4Testgen::CommandVisitor | |
| ►CP4::P4Tools::P4Testgen::Concolic | |
| CP4::P4Tools::P4Testgen::Bmv2::Bmv2Concolic | |
| CP4::P4Tools::P4Testgen::EBPF::EBPFConcolic | |
| CP4::P4Tools::P4Testgen::Pna::PnaDpdkConcolic | |
| CP4::P4Tools::P4Testgen::ConcolicMethodImpls | Encapsulates a set of concolic method implementations |
| CP4::P4Tools::P4Testgen::Continuation | |
| CP4::P4Tools::P4Testgen::Continuation::Body | A continuation body is a list of commands |
| CP4::P4Tools::P4Testgen::Continuation::Guard | |
| CP4::P4Tools::P4Testgen::Continuation::Parameter | |
| CP4::P4Tools::P4Testgen::Continuation::PropertyUpdate | |
| CP4::P4Tools::P4Testgen::Continuation::Return | |
| CP4::P4Tools::P4Testgen::EBPF::EBPFConstants | |
| CP4::P4Tools::P4Testgen::ExecutionState::StackFrame | |
| CP4::P4Tools::P4Testgen::ExprStepper::ExternMethodImpls< StepperType > | Encapsulates a set of extern method implementations |
| CP4::P4Tools::P4Testgen::ExprStepper::PacketCursorAdvanceInfo | |
| CP4::P4Tools::P4Testgen::ExternInfo | |
| CP4::P4Tools::P4Testgen::FinalState | Represents the final state after execution |
| CP4::P4Tools::P4Testgen::PacketVars | |
| CP4::P4Tools::P4Testgen::Pna::PnaConstants | |
| CP4::P4Tools::P4Testgen::Pna::PnaSymbolicVars | Variabless are variables that can be controlled and set by P4Testgen |
| CP4::P4Tools::P4Testgen::Pna::SharedPnaTableStepper::SharedPnaProperties | Shared PNA table properties |
| CP4::P4Tools::P4Testgen::SmallStepEvaluator | |
| CP4::P4Tools::P4Testgen::SmallStepEvaluator::Branch | |
| ►CP4::P4Tools::P4Testgen::SymbolicExecutor | |
| CP4::P4Tools::P4Testgen::DepthFirstSearch | |
| CP4::P4Tools::P4Testgen::GreedyNodeSelection | |
| CP4::P4Tools::P4Testgen::RandomBacktrack | |
| CP4::P4Tools::P4Testgen::SelectedBranches | Explores one path described by a list of branches |
| ►CP4::P4Tools::P4Testgen::TableStepper | Implements small-step operational semantics for tables |
| CP4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelTableStepper | |
| CP4::P4Tools::P4Testgen::EBPF::EBPFTableStepper | |
| ►CP4::P4Tools::P4Testgen::Pna::SharedPnaTableStepper | |
| CP4::P4Tools::P4Testgen::Pna::PnaDpdkTableStepper | |
| ►CP4::P4Tools::P4Testgen::TestBackEnd | |
| CP4::P4Tools::P4Testgen::Bmv2::Bmv2TestBackend | |
| CP4::P4Tools::P4Testgen::EBPF::EBPFTestBackend | |
| CP4::P4Tools::P4Testgen::Pna::PnaTestBackend | |
| CP4::P4Tools::P4Testgen::TestBackEnd::TestInfo | |
| CP4::P4Tools::P4Testgen::TestBackendConfiguration | |
| ►CP4::P4Tools::P4Testgen::TestFramework | |
| ►CP4::P4Tools::P4Testgen::Bmv2::Bmv2TestFramework | Bmv2TestFramework provides common utility functions for BMv2-style test frameworks |
| CP4::P4Tools::P4Testgen::Bmv2::Metadata | Extracts information from the @testSpec to emit a Metadata test case |
| CP4::P4Tools::P4Testgen::Bmv2::PTF | Extracts information from the @testSpec to emit a PTF test case |
| CP4::P4Tools::P4Testgen::Bmv2::Protobuf | Extracts information from the @testSpec to emit a Protobuf test case |
| CP4::P4Tools::P4Testgen::Bmv2::ProtobufIr | Extracts information from the @testSpec to emit a Protobuf IR test case |
| CP4::P4Tools::P4Testgen::Bmv2::STF | Extracts information from the @testSpec to emit a STF test case |
| CP4::P4Tools::P4Testgen::EBPF::STF | Extracts information from the @testSpec to emit a STF test case |
| CP4::P4Tools::P4Testgen::Pna::Metadata | Extracts information from the @testSpec to emit a Metadata test case |
| CP4::P4Tools::P4Testgen::Pna::PTF | Extracts information from the @testSpec to emit a PTF test case |
| CP4::P4Tools::P4Testgen::TestSpec | |
| CP4::P4Tools::ReachabilityEngine | |
| CP4::P4Tools::ReachabilityEngineState | The main data for reachability engine |
| CP4::P4Tools::SymbolicEnv | |
| CP4::P4Tools::TableUtils::KeyProperties | KeyProperties define properties of table keys that are useful for execution |
| CP4::P4Tools::TableUtils::TableProperties | Basic table properties that are set when initializing the TableStepper |
| CP4::P4Tools::Taint | |
| ►CP4::P4Tools::Target | |
| ►CP4::P4Tools::CompilerTarget | Encapsulates the details of invoking the P4 compiler for a target device and architecture |
| ►CP4::P4Tools::P4Smith::SmithTarget | |
| ►CP4::P4Tools::P4Smith::BMv2::AbstractBMv2SmithTarget | |
| CP4::P4Tools::P4Smith::BMv2::Bmv2PsaSmithTarget | |
| CP4::P4Tools::P4Smith::BMv2::Bmv2V1modelSmithTarget | |
| ►CP4::P4Tools::P4Smith::Generic::AbstractGenericSmithTarget | |
| CP4::P4Tools::P4Smith::Generic::GenericCoreSmithTarget | |
| ►CP4::P4Tools::P4Smith::Nic::AbstractNicSmithTarget | |
| CP4::P4Tools::P4Smith::Nic::DpdkPnaSmithTarget | |
| ►CP4::P4Tools::P4Smith::Tofino::AbstractTofinoSmithTarget | |
| CP4::P4Tools::P4Smith::Tofino::TofinoTnaSmithTarget | |
| ►CP4::P4Tools::P4Testgen::TestgenTarget | |
| CP4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelTestgenTarget | |
| CP4::P4Tools::P4Testgen::EBPF::EBPFTestgenTarget | |
| CP4::P4Tools::P4Testgen::Pna::PnaDpdkTestgenTarget | |
| CP4::P4Tools::Target::Spec | Specifies a target device and architecture by their names in lower case |
| CP4::P4Tools::Utils | General utility functions that are not present in the compiler framework |
| CP4::P4Tools::Z3SolverAccessor | |
| CP4::P4V1::ConversionContext | |
| CP4::P4V1::ExternConverter | |
| CP4::P4V1::PrimitiveConverter | |
| CP4::P4V1::ProgramStructure | Information about the structure of a P4-14 program, used to convert it to a P4-16 program |
| CP4::P4V1::TableAttributes_Model | |
| CP4::ParserErrorMessage | |
| CP4::ParserInfo | Information produced for a parser by the symbolic evaluator |
| CP4::ParserStateInfo | Information produced for a parser state by the symbolic evaluator |
| CP4::ParserStructure | Information about a parser in the input program |
| CP4::ParserStructureImpl::ParserSymbolicInterpreter | |
| CP4::PassManager::VisitorRef | |
| CP4::Pattern | |
| CP4::Pattern::Match< T > | |
| CP4::PauseTrace | |
| CP4::PerInstanceSubstitutions | |
| CP4::primitive_info_t | |
| ►CP4::ProgramStructure | |
| CP4::BMV2::V1ProgramStructure | |
| ►CP4::PortableProgramStructure | |
| CP4::BMV2::PnaProgramStructure | |
| CP4::PsaProgramStructure | |
| CP4::TC::PnaProgramStructure | |
| CP4::PushContext | |
| CP4::RangeIter< T > | |
| ►CP4::RemoveComplexExpressionsPolicy | |
| CP4::BMV2::ProcessControls | |
| CP4::DPDK::ProcessControls | Only simplify complex expression in ingress/egress |
| ►CP4::RemoveUnusedPolicy | |
| CP4::FrontEndPolicy | |
| CP4::RenameMap | |
| CP4::ReplacementMap | |
| ►CP4::RTTI::Base | |
| ►CP4::ICastable | |
| ►CP4::AbstractSolver | Provides a higher-level interface for an SMT solver |
| CP4::P4Tools::Z3Solver | A Z3-based implementation of AbstractSolver. Encapsulates a z3::solver and a z3::context |
| CP4::BMV2::CFG::Node | |
| CP4::Backtrack::trigger | |
| ►CP4::EBPF::EBPFObject | Base class for EBPF objects |
| ►CP4::EBPF::EBPFChecksumPSA | |
| CP4::EBPF::EBPFHashPSA | |
| CP4::EBPF::EBPFInternetChecksumPSA | |
| ►CP4::TC::EBPFChecksumPNA | |
| CP4::TC::EBPFInternetChecksumPNA | |
| ►CP4::EBPF::EBPFControl | |
| ►CP4::EBPF::EBPFControlPSA | |
| CP4::TC::EBPFControlPNA | |
| ►CP4::EBPF::EBPFDeparser | |
| ►CP4::EBPF::EBPFDeparserPSA | |
| ►CP4::EBPF::EgressDeparserPSA | |
| CP4::EBPF::TCEgressDeparserPSA | |
| CP4::EBPF::XDPEgressDeparserPSA | |
| ►CP4::EBPF::IngressDeparserPSA | |
| ►CP4::EBPF::TCIngressDeparserPSA | |
| CP4::EBPF::TCIngressDeparserForTrafficManagerPSA | |
| CP4::EBPF::XDPIngressDeparserPSA | |
| CP4::TC::IngressDeparserPNA | |
| CP4::UBPF::UBPFControl | |
| ►CP4::EBPF::EBPFDigestPSA | |
| CP4::TC::EBPFDigestPNA | |
| ►CP4::EBPF::EBPFHashAlgorithmPSA | |
| ►CP4::EBPF::CRCChecksumAlgorithm | |
| CP4::EBPF::CRC16ChecksumAlgorithm | |
| CP4::EBPF::CRC32ChecksumAlgorithm | |
| ►CP4::TC::CRCChecksumAlgorithmPNA | |
| CP4::TC::CRC16ChecksumAlgorithmPNA | |
| CP4::TC::CRC32ChecksumAlgorithmPNA | |
| CP4::EBPF::InternetChecksumAlgorithm | |
| CP4::TC::InternetChecksumAlgorithmPNA | |
| CP4::EBPF::EBPFMethodDeclaration | Methods are function signatures |
| ►CP4::EBPF::EBPFParser | |
| ►CP4::EBPF::EBPFPsaParser | |
| CP4::TC::EBPFPnaParser | |
| CP4::UBPF::UBPFParser | |
| ►CP4::EBPF::EBPFParserState | |
| CP4::UBPF::UBPFParserState | |
| ►CP4::EBPF::EBPFProgram | |
| ►CP4::EBPF::EBPFPipeline | EBPFPipeline represents a single eBPF program in the TC/XDP hook |
| ►CP4::EBPF::EBPFEgressPipeline | |
| CP4::EBPF::TCEgressPipeline | |
| CP4::EBPF::XDPEgressPipeline | |
| ►CP4::EBPF::EBPFIngressPipeline | |
| ►CP4::EBPF::TCIngressPipeline | |
| CP4::EBPF::TCTrafficManagerForXDP | |
| CP4::TC::TCIngressPipelinePNA | |
| CP4::EBPF::XDPIngressPipeline | |
| CP4::EBPF::XDPHelpProgram | |
| CP4::UBPF::UBPFProgram | |
| CP4::EBPF::EBPFRandomPSA | |
| ►CP4::EBPF::EBPFTableBase | Also used to represent counters |
| ►CP4::EBPF::EBPFCounterTable | |
| ►CP4::EBPF::EBPFCounterPSA | |
| CP4::TC::EBPFCounterPNA | |
| CP4::EBPF::EBPFMeterPSA | |
| CP4::EBPF::EBPFRegisterPSA | |
| ►CP4::EBPF::EBPFTable | |
| ►CP4::EBPF::EBPFTablePSA | |
| ►CP4::EBPF::EBPFTableImplementationPSA | Base class for ActionProfile and ActionSelector |
| CP4::EBPF::EBPFActionProfilePSA | |
| CP4::EBPF::EBPFActionSelectorPSA | |
| CP4::TC::EBPFTablePNA | |
| CP4::EBPF::EBPFValueSet | |
| CP4::TC::EBPFRegisterPNA | |
| ►CP4::EBPF::EBPFType | Base class for EBPF types |
| ►CP4::EBPF::EBPFBoolType | |
| CP4::UBPF::UBPFBoolType | |
| ►CP4::EBPF::EBPFEnumType | |
| CP4::UBPF::UBPFEnumType | |
| ►CP4::EBPF::EBPFErrorType | |
| CP4::UBPF::UBPFErrorType | |
| ►CP4::EBPF::EBPFScalarType | |
| CP4::UBPF::UBPFExternType | |
| CP4::UBPF::UBPFScalarType | |
| CP4::EBPF::EBPFStackType | |
| ►CP4::EBPF::EBPFStructType | Also represents headers and unions |
| CP4::UBPF::UBPFStructType | |
| CP4::EBPF::EBPFTypeName | This should not always implement IHasWidth, but it may.. |
| CP4::UBPF::UBPFListType | |
| CP4::UBPF::UBPFDeparser | |
| ►CP4::UBPF::UBPFTableBase | |
| CP4::UBPF::UBPFRegister | |
| CP4::UBPF::UBPFTable | |
| ►CP4::EBPF::IHasWidth | |
| CP4::EBPF::EBPFBoolType | |
| CP4::EBPF::EBPFEnumType | |
| CP4::EBPF::EBPFErrorType | |
| CP4::EBPF::EBPFScalarType | |
| CP4::EBPF::EBPFStackType | |
| CP4::EBPF::EBPFStructType | Also represents headers and unions |
| CP4::EBPF::EBPFTypeName | This should not always implement IHasWidth, but it may.. |
| CP4::UBPF::UBPFListType | |
| CP4::IR::INode | |
| ►CP4::InstanceBase | |
| ►CP4::ConstructorCall | |
| CP4::ContainerConstructorCall | |
| CP4::ExternConstructorCall | |
| ►CP4::EnumInstance | |
| CP4::SerEnumInstance | |
| CP4::SimpleEnumInstance | An instance of a simple enum, e.g., X.A from enum X { A, B } |
| ►CP4::Instantiation | Used to resolve a Declaration_Instance |
| CP4::ControlInstantiation | |
| CP4::ExternInstantiation | |
| CP4::PackageInstantiation | |
| CP4::ParserInstantiation | |
| ►CP4::MethodInstance | |
| CP4::ActionCall | |
| CP4::ApplyMethod | |
| CP4::BuiltInMethod | |
| CP4::ExternFunction | |
| CP4::ExternMethod | |
| CP4::FunctionCall | |
| ►CP4::JsonData | |
| CP4::JsonBoolean | |
| CP4::JsonNull | |
| CP4::JsonNumber | |
| CP4::JsonObject | |
| CP4::JsonString | |
| CP4::JsonVector | |
| CP4::P4Tools::AbstractRepCheckedNode< Self, Node > | |
| ►CP4::P4Tools::CompilerResult | |
| ►CP4::P4Tools::P4Testgen::TestgenCompilerResult | Extends the CompilerResult with the associated P4RuntimeApi |
| CP4::P4Tools::P4Testgen::Bmv2::BMv2V1ModelCompilerResult | Extends the CompilerResult with information specific to the V1Model running on BMv2 |
| ►CP4::P4Tools::P4Testgen::AbstractTest | Type definitions for abstract tests |
| CP4::P4Tools::P4Testgen::Bmv2::ProtobufIrTest | |
| CP4::P4Tools::P4Testgen::Bmv2::ProtobufTest | |
| ►CP4::P4Tools::P4Testgen::ProgramInfo | Stores target-specific information about a P4 program |
| CP4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelProgramInfo | |
| CP4::P4Tools::P4Testgen::EBPF::EBPFProgramInfo | |
| ►CP4::P4Tools::P4Testgen::Pna::SharedPnaProgramInfo | |
| CP4::P4Tools::P4Testgen::Pna::PnaDpdkProgramInfo | |
| ►CP4::P4Tools::P4Testgen::TestObject | |
| CP4::P4Tools::P4Testgen::ActionArg | |
| CP4::P4Tools::P4Testgen::ActionCall | |
| CP4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelActionProfile | |
| CP4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelActionSelector | |
| CP4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelCloneInfo | |
| CP4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelCloneSpec | |
| CP4::P4Tools::P4Testgen::Bmv2::IndexExpression | |
| ►CP4::P4Tools::P4Testgen::Bmv2::IndexMap | Readable and writable symbolic map, which maps indices to particular values |
| CP4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelMeterValue | |
| CP4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelRegisterValue | |
| CP4::P4Tools::P4Testgen::Bmv2::MetadataCollection | |
| CP4::P4Tools::P4Testgen::Packet | |
| CP4::P4Tools::P4Testgen::Pna::MetadataCollection | |
| CP4::P4Tools::P4Testgen::Pna::PnaDpdkActionProfile | |
| CP4::P4Tools::P4Testgen::Pna::PnaDpdkActionSelector | |
| CP4::P4Tools::P4Testgen::Pna::PnaDpdkRegisterCondition | |
| CP4::P4Tools::P4Testgen::Pna::PnaDpdkRegisterValue | |
| CP4::P4Tools::P4Testgen::TableConfig | |
| ►CP4::P4Tools::P4Testgen::TableMatch | |
| CP4::P4Tools::P4Testgen::Bmv2::Optional | |
| CP4::P4Tools::P4Testgen::Bmv2::Range | |
| CP4::P4Tools::P4Testgen::Exact | |
| CP4::P4Tools::P4Testgen::LPM | |
| CP4::P4Tools::P4Testgen::Pna::Optional | |
| CP4::P4Tools::P4Testgen::Pna::Range | |
| CP4::P4Tools::P4Testgen::Ternary | |
| CP4::P4Tools::P4Testgen::TableRule | |
| ►CP4::P4Tools::TraceEvent | An event in a trace of the execution of a P4 program |
| CP4::P4Tools::TraceEvents::AssignmentStatement | Represents an assignment statement |
| CP4::P4Tools::TraceEvents::Emit | A field being emitted by a deparser |
| CP4::P4Tools::TraceEvents::ExtractFailure | |
| CP4::P4Tools::TraceEvents::ExtractSuccess | |
| ►CP4::P4Tools::TraceEvents::Generic | A generic event that only takes in a string as label |
| CP4::P4Tools::TraceEvents::Expression | A simple event that stores the provided expression |
| CP4::P4Tools::TraceEvents::GenericDescription | |
| CP4::P4Tools::TraceEvents::IfStatementCondition | Represents an if statement condition |
| CP4::P4Tools::TraceEvents::MethodCall | Label dedicated to method call expression |
| CP4::P4Tools::TraceEvents::Packet | A packet that is either presented to a parser or emitted from a deparser |
| CP4::P4Tools::TraceEvents::ParserStart | Marks the start of a parser |
| CP4::P4Tools::TraceEvents::ParserState | Marks the entry into a parser state |
| CP4::StorageLocation | Abstraction for something that is has a left value (variable, parameter) |
| CP4::SymbolicValue | |
| CP4::TypeConstraint | |
| ►CP4::Util::IJson | |
| CP4::Util::JsonArray | |
| CP4::Util::JsonObject | |
| CP4::Util::JsonValue | |
| ►CP4::Util::NamedSymbol | |
| ►CP4::Util::Namespace | |
| CP4::Util::ContainerType | |
| CP4::Util::Object | |
| CP4::Util::SimpleType | |
| CP4::RTTI::Detail::IsType< Targets > | |
| CP4::RTTI::Detail::ToType< To, typename > | |
| CP4::RTTI::detail::TypeIdResolver< T, typename > | |
| CP4::RTTI::detail::TypeIdResolver< T, std::void_t< decltype(T::static_typeId)> > | |
| CP4::RTTI::detail::TypeNameHolder | |
| CP4::RTTI::TypeInfo< This, Parents > | |
| CP4::SameExpression | |
| CP4::SaturationElim | Contains utility functions for eliminating saturating arithmetic |
| CP4::SimpleInlineList< Callable, CallInfo, InlineWorkList > | |
| CP4::SpecializationInfo | Describes how a parser or control is specialized |
| CP4::SpecializationMap | Maintains a map from invocation to a SpecializationInfo object |
| ►CP4::SplitFlowVisit_base | |
| CP4::SplitFlowVisit< N > | |
| CP4::SplitFlowVisitVector< N > | |
| CP4::StackVariable | |
| CP4::StackVariableHash | Class with hash function for StackVariable |
| CP4::StorageFactory | |
| CP4::string_map< V > | |
| ►CP4::string_map< IJson * > | |
| CP4::Util::JsonObject | |
| CP4::StringRef | |
| CP4::StringRef::Split | |
| CP4::SymbolicValueFactory | |
| CP4::SymRenameMap | |
| CP4::TableApplySolver | |
| CP4::TableInsertions | |
| CP4::TC::ActionAttributes | |
| CP4::TC::ActionParam | |
| CP4::TC::Annotation | |
| CP4::TC::ConvertToBackendIR::ExternBlock | |
| CP4::TC::ConvertToBackendIR::ExternInstance | |
| CP4::TC::Extern | |
| CP4::TC::ExternAttributes | |
| CP4::TC::ExternInstancesAttributes | |
| CP4::TC::IntrospectionInfo | |
| CP4::TC::KeyFieldAttributes | |
| CP4::TC::MidEnd | |
| CP4::TC::TableAttributes | |
| CP4::Test::Model | |
| CP4::Test::P4ToolsTestCase | Encapsulates functionality for running the front- and mid-ends of the compiler in a test |
| CP4::Test::SaturationElim | Contains utility functions for eliminating saturating arithmetic |
| CP4::Test::Taint | |
| CP4::Test::Z3SolverAccessor | |
| CP4::TypeInference::Comparison | |
| CP4::TypeUnification | |
| CP4::UnparsedConstant | |
| CP4::UnrollLoops::loop_bounds_t | |
| CP4::UnrollLoops::Policy | |
| CP4::Util::BitRange | |
| CP4::Util::Detail::FloatHasher< Float > | |
| ►CP4::Util::Detail::FloatHasher< double > | |
| CP4::Util::Hasher< double > | |
| ►CP4::Util::Detail::FloatHasher< float > | |
| CP4::Util::Hasher< float > | |
| CP4::Util::Detail::IntegerHasher< Int > | |
| ►CP4::Util::Detail::IntegerHasher< char > | |
| CP4::Util::Hasher< char > | |
| ►CP4::Util::Detail::IntegerHasher< signed char > | |
| CP4::Util::Hasher< signed char > | |
| ►CP4::Util::Detail::IntegerHasher< signed int > | |
| CP4::Util::Hasher< signed int > | |
| ►CP4::Util::Detail::IntegerHasher< signed long > | |
| CP4::Util::Hasher< signed long > | |
| ►CP4::Util::Detail::IntegerHasher< signed long long > | |
| CP4::Util::Hasher< signed long long > | |
| ►CP4::Util::Detail::IntegerHasher< signed short > | |
| CP4::Util::Hasher< signed short > | |
| ►CP4::Util::Detail::IntegerHasher< unsigned char > | |
| CP4::Util::Hasher< unsigned char > | |
| ►CP4::Util::Detail::IntegerHasher< unsigned int > | |
| CP4::Util::Hasher< unsigned int > | |
| ►CP4::Util::Detail::IntegerHasher< unsigned long > | |
| CP4::Util::Hasher< unsigned long > | |
| ►CP4::Util::Detail::IntegerHasher< unsigned long long > | |
| CP4::Util::Hasher< unsigned long long > | |
| ►CP4::Util::Detail::IntegerHasher< unsigned short > | |
| CP4::Util::Hasher< unsigned short > | |
| ►CP4::Util::Detail::StdHasher | |
| CP4::Util::Hasher< big_int > | |
| CP4::Util::Detail::TupleHasher< index, Types > | |
| CP4::Util::Detail::TupleHasher< 0, Types... > | |
| ►CP4::Util::Enumerator< T > | Type-erased Enumerator interface |
| CP4::Util::ConcatEnumerator< T > | Concatenation |
| CP4::Util::EmptyEnumerator< T > | Always empty iterator (equivalent to end()) |
| CP4::Util::FilterEnumerator< T, Filter > | |
| CP4::Util::SingleEnumerator< T > | |
| ►CP4::Util::Enumerator< S > | |
| CP4::Util::AsEnumerator< T, S > | Casts each element |
| CP4::Util::MapEnumerator< T, S, Mapper > | Transforms all elements from type T to type S |
| ►CP4::Util::Enumerator< std::iterator_traits< Iter >::value_type > | |
| CP4::Util::IteratorEnumerator< Iter > | A generic iterator returning elements of type T |
| CP4::Util::EnumeratorHandle< T > | |
| CP4::Util::Hash | |
| CP4::Util::Hasher< Key, Enable > | |
| CP4::Util::Hasher< bool > | |
| CP4::Util::Hasher< ClosedRange< Unit, Order > > | |
| CP4::Util::Hasher< cstring > | |
| CP4::Util::Hasher< HalfOpenRange< Unit, Order > > | |
| CP4::Util::Hasher< IR::ID > | |
| CP4::Util::Hasher< P4::ProgramPoint > | |
| CP4::Util::Hasher< std::pair< T1, T2 > > | |
| CP4::Util::Hasher< std::shared_ptr< T > > | |
| CP4::Util::Hasher< std::string > | |
| CP4::Util::Hasher< std::string_view > | |
| CP4::Util::Hasher< std::tuple< Types... > > | |
| CP4::Util::Hasher< std::unique_ptr< T > > | |
| CP4::Util::Hasher< T * > | |
| ►CP4::Util::IHasSourceInfo | |
| CP4::IR::ID | |
| CP4::IR::INode | |
| CP4::Util::InputSources | |
| CP4::Util::iterator_range< Iter, Sentinel > | |
| ►CP4::Util::Options | |
| ►CP4::P4Tools::AbstractP4cToolOptions | |
| CP4::P4Tools::P4Testgen::TestgenOptions | Encapsulates and processes command-line options for P4Testgen |
| CP4::P4Tools::SmithOptions | |
| ►CP4::ParserOptions | |
| ►CP4::CompilerOptions | |
| ►CP4::BMV2::BMV2Options | |
| ►CP4::BMV2::PortableOptions | |
| CP4::BMV2::PnaNicOptions | |
| CP4::BMV2::PsaSwitchOptions | |
| CP4::BMV2::SimpleSwitchOptions | |
| CP4::DPDK::DpdkOptions | |
| CP4::EbpfOptions | |
| CP4::P4Fmt::P4fmtOptions | |
| CP4::TC::TCOptions | |
| CP4::Test::P4ReachabilityOptions | |
| CP4::Test::P4TestOptions | |
| CP4::graphs::Options | |
| CP4TestOptions | |
| CP4::Util::Options::Option | |
| CP4::Util::ProgramStructure | |
| CP4::Util::ScopedTimer | |
| CP4::Util::ScopedTimerCtx | |
| ►CP4::Util::SourceCodeBuilder | |
| ►CP4::EBPF::CodeBuilder | |
| CP4::UBPF::UbpfCodeBuilder | |
| CP4::Util::SourceFileLine | |
| CP4::Util::SourceInfo | |
| CP4::Util::SourcePosition | |
| CP4::Util::TimerEntry | |
| CP4::VisitedKey | The main class for parsers' states key for visited checking |
| ►CP4::Visitor | |
| CP4::InlineDriver< ActionsInlineList, AInlineWorkList > | |
| CP4::InlineDriver< FunctionsInlineList, FunctionsInlineWorkList > | |
| ►CP4::Backtrack | |
| CP4::OnBacktrack< T > | |
| ►CP4::PassManager | |
| CP4::AddMissingIdAnnotations | |
| ►CP4::BMV2::MidEnd | |
| ►CP4::BMV2::PortableMidEnd | |
| CP4::BMV2::PnaNicMidEnd | |
| CP4::BMV2::PsaSwitchMidEnd | |
| CP4::BMV2::SimpleSwitchMidEnd | |
| CP4::BindTypeVariables | |
| CP4::CheckConstants | |
| CP4::CheckCoreMethods | |
| CP4::ConstantFolding | |
| CP4::ConvertEnums | |
| CP4::ConvertErrors | |
| CP4::DPDK::ByteAlignment | |
| CP4::DPDK::CollectLocalStructAndFlatten | |
| CP4::DPDK::CollectProgramStructure | |
| CP4::DPDK::ConvertActionSelectorAndProfile | |
| CP4::DPDK::ConvertInternetChecksum | |
| CP4::DPDK::ConvertLogicalExpression | |
| CP4::DPDK::ConvertLookahead | |
| CP4::DPDK::DpdkAddPseudoHeader | |
| CP4::DPDK::DpdkArchFirst | |
| CP4::DPDK::DpdkArchLast | |
| CP4::DPDK::DpdkHandleIPSec | |
| CP4::DPDK::DpdkMidEnd | |
| CP4::DPDK::EliminateHeaderCopy | |
| CP4::DPDK::EliminateUnusedAction | |
| CP4::DefaultArguments | |
| CP4::DefaultValues | |
| CP4::EBPF::Lower | |
| CP4::EliminateInvalidHeaders | |
| CP4::EliminateNewtype | |
| CP4::EliminateSerEnums | |
| CP4::EliminateSwitch | |
| CP4::EliminateTuples | |
| CP4::EliminateTypedef | |
| CP4::EvaluatorPass | |
| CP4::ExpandEmit | |
| CP4::ExpandLookahead | |
| CP4::FlattenHeaderUnion | |
| CP4::FlattenHeaders | |
| CP4::FlattenInterfaceStructs | |
| CP4::FlattenLogMsg | |
| CP4::GlobalCopyPropagation | |
| CP4::HSIndexSimplifier | |
| CP4::HandleNoMatch | |
| CP4::InlineActions | |
| CP4::InlineFunctions | |
| CP4::InlinePass | Performs one round of inlining bottoms-up |
| CP4::LocalCopyPropagation | |
| CP4::LocalizeAllActions | |
| CP4::MoveActionsToTables | |
| CP4::NestedStructs | |
| CP4::OrderArguments | |
| CP4::P4Test::MidEnd | |
| CP4::P4Tools::MidEnd | |
| CP4::P4V1::Converter | |
| CP4::P4V1::FixMultiEntryPoint | |
| CP4::ParseAnnotationBodies | Clears a type map after calling a ParseAnnotations instance |
| CP4::ParserRewriter | |
| CP4::ParsersUnroll | |
| CP4::PassIf | |
| CP4::PassRepeatUntil | |
| ►CP4::PassRepeated | |
| CP4::CopyStructures | |
| CP4::DPDK::DpdkAsmOptimization | |
| CP4::Inline | |
| CP4::RemoveAllUnusedDeclarations | Iterates RemoveUnusedDeclarations until convergence |
| CP4::RemoveParserControlFlow | |
| CP4::SideEffectOrdering | |
| CP4::SimplifyControlFlow | |
| CP4::SpecializeAll | Specializes each Parser and Control by substituting type arguments and constructor parameters |
| CP4::SpecializeGenericTypes | Specializes each generic type by substituting type parameters |
| CP4::RemoveActionParameters | |
| CP4::RemoveAssertAssume | |
| CP4::RemoveDontcareArgs | |
| CP4::RemoveExits | |
| CP4::RemoveLeftSlices | |
| CP4::RemoveMiss | |
| CP4::RemoveParserIfs | |
| CP4::RemoveRedundantParsers | |
| CP4::RemoveReturns | |
| CP4::RemoveSelectBooleans | |
| CP4::ReplaceSelectRange | |
| CP4::ResetHeaders | Invokes TypeChecking followed by DoResetHeaders |
| CP4::SetHeaders | |
| CP4::SimplifyComparisons | |
| CP4::SimplifyDefUse | |
| CP4::SimplifyKey | |
| CP4::SimplifyParsers | |
| CP4::SimplifySelectCases | |
| CP4::SimplifySelectList | |
| CP4::SimplifySwitch | |
| CP4::SingleArgumentSelect | |
| CP4::SpecializeGenericFunctions | |
| CP4::StaticAssert | |
| CP4::StrengthReduction | |
| CP4::StructInitializers | |
| CP4::SynthesizeActions | |
| CP4::TC::Backend | |
| CP4::TableHit | |
| CP4::TableKeyNames | |
| CP4::TypeCheck | |
| CP4::TypeChecking | |
| CP4::UniqueNames | |
| CP4::UniqueParameters | |
| CP4::UselessCasts | |
| CP4::graphs::MidEnd | |
| ►CP4::ControlFlowVisitor | |
| CP4::ComputeDefUse | Compute defuse info within P4Parser and P4Control blocks in the midend |
| CP4::DoLocalCopyPropagation | |
| CP4::DynamicVisitor | |
| CP4::InlineDriver< InlineList, InlineWorkList > | |
| ►CP4::Inspector | |
| CP4::AnalyzeParser | |
| CP4::ApplyOptionsPragmas | |
| CP4::BMV2::ActionConverter | |
| CP4::BMV2::CheckUnsupported | |
| CP4::BMV2::ControlConverter< arch > | |
| CP4::BMV2::ConvertGlobals | |
| CP4::BMV2::ConvertPnaToJson | |
| CP4::BMV2::ConvertPsaToJson | |
| CP4::BMV2::DeparserConverter | |
| ►CP4::BMV2::ExpressionConverter | |
| CP4::BMV2::PnaNicExpressionConverter | |
| CP4::BMV2::PsaSwitchExpressionConverter | |
| CP4::BMV2::SimpleSwitchExpressionConverter | |
| CP4::BMV2::HeaderConverter | |
| CP4::BMV2::ParseV1Architecture | |
| CP4::BMV2::ParserConverter | |
| CP4::BMV2::SharedActionSelectorCheck< arch > | |
| CP4::BuildResourceMap | |
| ►CP4::CheckExternInvocationCommon | Base class which can be used to prepare classes for checking constraints for invocations of externs (both methods and pure functions) in parsers and control blocks |
| CP4::DPDK::CheckPNAExternInvocation | Class for checking constraints for invocations of PNA architecture extern methods and functions |
| CP4::CheckNamedArgs | |
| CP4::ClearTypeMap | |
| CP4::CompileTimeOperations | |
| CP4::ComputeDefUse | Compute defuse info within P4Parser and P4Control blocks in the midend |
| CP4::ComputeParserCG | Builds a CallGraph of ParserState nodes |
| CP4::ComputeWriteSet | |
| CP4::ContainsType | |
| ►CP4::ControlFlowVisitor::SetupJoinPoints | |
| CP4::ComputeDefUse::SetupJoinPoints | |
| CP4::ControlPlaneAPI::TypeSpecConverter | Generates the appropriate p4.P4DataTypeSpec for a given IR::Type node |
| CP4::Coverage::CollectNodes | |
| CP4::DPDK::CheckExternInvocation | Class which chooses the correct class for checking the constraints for invocations. of extern methods and functions depending on the architecture |
| CP4::DPDK::CollectActionUses | |
| CP4::DPDK::CollectAddOnMissTable | |
| CP4::DPDK::CollectDirectCounterMeter | |
| CP4::DPDK::CollectErrors | |
| CP4::DPDK::CollectExternDeclaration | |
| CP4::DPDK::CollectIPSecInfo | |
| CP4::DPDK::CollectInternetChecksumInstance | |
| CP4::DPDK::CollectMetadataHeaderInfo | |
| CP4::DPDK::CollectTableInfo | |
| CP4::DPDK::CollectUseDefInfo | |
| CP4::DPDK::CollectUsedMetadataField | This pass Collects all metadata struct member used in program |
| CP4::DPDK::ConvertLookahead::Collect | |
| CP4::DPDK::ConvertStatementToDpdk | |
| CP4::DPDK::ConvertToDpdkControl | |
| CP4::DPDK::ConvertToDpdkParser | |
| CP4::DPDK::ConvertToString | |
| CP4::DPDK::DefActionValue | |
| CP4::DPDK::DpdkContextGenerator | This pass generates context JSON into user specified file |
| CP4::DPDK::EmitDpdkTableConfig | |
| CP4::DPDK::ExpressionUnroll | |
| CP4::DPDK::HaveNonHeaderChecksumArgs | |
| CP4::DPDK::HaveNonHeaderLargeOperandAssignment | This pass checks whether an assignment statement has large operands (>64-bit) |
| CP4::DPDK::IsDirectionMetadataUsed | |
| CP4::DPDK::LogicalExpressionUnroll | |
| CP4::DPDK::TypeWidthValidator | |
| CP4::DPDK::ValidateAddOnMissExterns | |
| CP4::DPDK::ValidateDirectCounterMeter | |
| CP4::DPDK::ValidateOperandSize | |
| CP4::Deprecated | |
| CP4::DiscoverActionsInlining | |
| CP4::DiscoverFunctionsInlining | |
| CP4::DiscoverInlining | Must be run after an evaluator; uses the blocks to discover caller/callee relationships |
| CP4::DiscoverStructure | |
| CP4::DoCheckConstants | |
| CP4::DoCheckCoreMethods | Check types for arguments of core.p4 methods |
| ►CP4::EBPF::CodeGenInspector | |
| ►CP4::EBPF::ActionTranslationVisitor | |
| CP4::EBPF::ActionTranslationVisitorPSA | |
| CP4::TC::ActionTranslationVisitorPNA | |
| ►CP4::EBPF::ControlBodyTranslator | |
| ►CP4::EBPF::ControlBodyTranslatorPSA | |
| CP4::EBPF::ActionTranslationVisitorPSA | |
| ►CP4::EBPF::DeparserBodyTranslator | This translator emits deparser externs |
| CP4::EBPF::DeparserBodyTranslatorPSA | |
| ►CP4::EBPF::DeparserPrepareBufferTranslator | This translator emits buffer preparation (eg. which headers will be emitted) |
| CP4::EBPF::DeparserHdrEmitTranslator | This translator emits headers |
| CP4::TC::DeparserHdrEmitTranslatorPNA | |
| ►CP4::TC::ControlBodyTranslatorPNA | |
| CP4::TC::ActionTranslationVisitorPNA | |
| CP4::UBPF::UBPFControlBodyTranslator | |
| CP4::EBPF::EBPFDigestPSAValueVisitor | |
| ►CP4::EBPF::EBPFTablePSAInitializerCodeGen | |
| CP4::EBPF::EBPFTablePSATernaryKeyMaskGenerator | Build mask initializer for a single table key entry |
| ►CP4::EBPF::StateTranslationVisitor | |
| ►CP4::EBPF::PsaStateTranslationVisitor | |
| CP4::TC::PnaStateTranslationVisitor | |
| CP4::UBPF::OutHeaderSize | |
| CP4::UBPF::UBPFDeparserTranslationVisitor | |
| CP4::EBPF::ConvertToEBPFControlPSA | |
| CP4::EBPF::ConvertToEBPFDeparserPSA | |
| CP4::EBPF::ConvertToEBPFParserPSA | |
| CP4::EBPF::ConvertToEbpfPipeline | |
| CP4::EBPF::EBPFTablePSATernaryTableMaskGenerator | Generate mask for whole table key |
| ►CP4::EBPF::EBPFTablePsaPropertyVisitor | |
| CP4::EBPF::EBPFTablePSADirectCounterPropertyVisitor | |
| CP4::EBPF::EBPFTablePSADirectMeterPropertyVisitor | |
| CP4::EBPF::EBPFTablePSAImplementationPropertyVisitor | |
| CP4::TC::EBPFTablePNADirectCounterPropertyVisitor | |
| CP4::EBPF::PSAErrorCodesGen | |
| CP4::Evaluator | |
| CP4::Explain | Creates a string that describes the values of current type variables |
| CP4::ExpressionEvaluator | |
| CP4::FindActionParameters | |
| CP4::FindFunctionSpecializations | |
| CP4::FindGlobalActionUses | |
| CP4::FindHeaderTypesToReplace | |
| CP4::FindParameters | Finds parameters for actions that will be given unique names |
| CP4::FindRedundantParsers | |
| CP4::FindRepeatedActionUses | |
| CP4::FindSpecializations | |
| CP4::FindSymbols | |
| CP4::FindTypeSpecializations | |
| CP4::FindTypesInLogMsgInvocationToReplace | |
| CP4::FindTypesToReplace | |
| CP4::FindVariableValues | |
| CP4::HSIndexFinder | |
| CP4::HasExits | |
| CP4::HasTableApply | Checks to see whether an IR node includes a table.apply() sub-expression |
| CP4::IfInParser | Detect whether the program contains an 'if' statement in a parser |
| CP4::InspectDpdkProgram | |
| ►CP4::InspectPortableProgram | |
| CP4::BMV2::InspectPnaProgram | |
| CP4::InspectPsaProgram | |
| CP4::IsLikeLeftValue | |
| CP4::IsNonConstantArrayIndex | |
| CP4::KeyNameGenerator | |
| CP4::MidEndLast | |
| CP4::MinimalNameGenerator | |
| CP4::P4Tools::P4ProgramDCGCreator | The main class for building control flow DCG |
| ►CP4::P4Tools::P4Testgen::AbstractStepper | |
| ►CP4::P4Tools::P4Testgen::CmdStepper | Implements small-step operational semantics for commands |
| CP4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelCmdStepper | |
| CP4::P4Tools::P4Testgen::EBPF::EBPFCmdStepper | |
| ►CP4::P4Tools::P4Testgen::Pna::SharedPnaCmdStepper | |
| CP4::P4Tools::P4Testgen::Pna::PnaDpdkCmdStepper | |
| ►CP4::P4Tools::P4Testgen::ExprStepper | Implements small-step operational semantics for expressions |
| CP4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelExprStepper | |
| CP4::P4Tools::P4Testgen::EBPF::EBPFExprStepper | |
| ►CP4::P4Tools::P4Testgen::Pna::SharedPnaExprStepper | |
| CP4::P4Tools::P4Testgen::Pna::PnaDpdkExprStepper | |
| CP4::P4Tools::P4Testgen::Bmv2::MapDirectExterns | |
| CP4::P4Tools::P4Testgen::Bmv2::RefersToParser | |
| CP4::P4Tools::P4Testgen::ConcolicResolver | |
| CP4::P4Tools::P4Testgen::CoverableNodesScanner | |
| CP4::P4Tools::Z3Translator | Translates P4 expressions into Z3. Any variables encountered are declared to a Z3 instance |
| CP4::P4V1::CheckIfMultiEntryPoint | |
| CP4::P4V1::ComputeCallGraph | |
| CP4::P4V1::ComputeTableCallGraph | |
| CP4::P4V1::DetectDuplicates | |
| CP4::P4V1::DiscoverStructure | |
| CP4::P4V1::FindRecirculated | |
| CP4::P4V1::getV1ModelVersion | |
| CP4::ParseDpdkArchitecture | |
| ►CP4::ParsePortableArchitecture | |
| CP4::BMV2::ParsePnaArchitecture | |
| CP4::ParsePsaArchitecture | |
| CP4::ReadsWrites | Computes the SetOfLocations read and written by an expression |
| CP4::RemoveModifiedValues | |
| CP4::ResolveReferences | |
| CP4::SideEffects | Determines whether an expression may have method or constructor invocations |
| CP4::TC::ConvertToBackendIR | |
| CP4::TC::ConvertToEBPFControlPNA | |
| CP4::TC::ConvertToEBPFDeparserPNA | |
| CP4::TC::ConvertToEBPFParserPNA | |
| CP4::TC::ConvertToEbpfPipelineTC | |
| CP4::TC::InspectPnaProgram | |
| CP4::TC::IntrospectionGenerator | This pass generates introspection JSON into user specified file |
| CP4::TC::PNAErrorCodesGen | |
| CP4::TC::ParsePnaArchitecture | |
| CP4::TablesInActions | |
| CP4::TablesInKeys | |
| CP4::Test::NodeFinder< T > | |
| CP4::ToP4 | |
| CP4::TypeCheck::InferActionArgsBottomUp | |
| CP4::TypeCheck::InferActionArgsTopDown | |
| CP4::TypeOccursVisitor | |
| CP4::UBPF::UBPFModel::getUBPFModelVersion | |
| CP4::ValidateMatchAnnotations | |
| CP4::ValidateParsedProgram | |
| CP4::ValidateTableProperties | |
| CP4::ValidateValueSets | |
| CP4::exprUses | |
| ►CP4::graphs::Graphs | |
| CP4::graphs::ControlGraphs | |
| CP4::graphs::Graph_visitor | |
| CP4::graphs::ParserGraphs | |
| CP4::hasSideEffects | |
| ►CP4::Modifier | |
| CP4::CheckHeaderTypes | |
| CP4::CheckTableSize | Checks some possible misuses of the table size property |
| CP4::DoSingleArgumentSelect | |
| CP4::HeaderTypeMaxLengthCalculator | |
| ►CP4::ParseAnnotations | |
| CP4::BMV2::ParseAnnotations | Parses BMV2-specific annotations |
| CP4::ControlPlaneAPI::ParseP4RuntimeAnnotations | Parses P4Runtime-specific annotations |
| CP4::TC::ParseTCAnnotations | |
| CP4::SwitchAddDefault | |
| CP4::TypeCheck::AssignActionArgTypes | |
| CP4::TypeCheck::InferExpressionsBottomUp | Bottom up type inferencing – set the types of expression nodes based on operands |
| CP4::TypeCheck::InferExpressionsTopDown | Top down type inferencing – set the type of expression nodes based on their uses |
| CP4::OnBacktrack< T > | |
| ►CP4::P4WriteContext | |
| CP4::ComputeDefUse | Compute defuse info within P4Parser and P4Control blocks in the midend |
| CP4::DoLocalCopyPropagation | |
| CP4::DoSimplifyExpressions | Convert expressions so that each expression contains at most one side effect |
| CP4::ReplaceHeaders | |
| CP4::ReplaceIndexRefs | |
| CP4::ReplaceLogMsg | |
| CP4::ReplaceStructs | |
| CP4::TypeCheck::MakeImplicitCastsExplicit | |
| CP4::PassManager | |
| CP4::ResolutionContext | Visitor mixin for looking up names in enclosing scopes from the Visitor::Context |
| ►CP4::Transform | |
| CP4::AbstractInliner< ActionsInlineList, AInlineWorkList > | |
| CP4::AbstractInliner< FunctionsInlineList, FunctionsInlineWorkList > | |
| CP4::AbstractInliner< InlineList, InlineSummary > | |
| CP4::AbstractInliner< P4::InlineList, InlineWorkList > | |
| CP4::AbstractInliner< InlineList, InlineWorkList > | |
| CP4::ApplyTypesToExpressions | |
| CP4::BMV2::ArithmeticFixup | |
| CP4::BMV2::LowerExpressions | This pass rewrites expressions which are not supported natively on BMv2 |
| CP4::BMV2::RenameUserMetadata | |
| CP4::CastBooleanTableKeys | |
| CP4::CloneConstants | |
| CP4::CloneExpressions | |
| CP4::CloneVariableDeclarations | |
| CP4::ConstantTypeSubstitution | |
| CP4::CopySrcInfo | |
| CP4::CreateBuiltins | |
| CP4::CreateSpecializedTypes | |
| CP4::CreateStructInitializers | Converts some list expressions into struct initializers |
| CP4::DPDK::AddFieldsToPseudoHeader | This pass finally adds all the collected fields to pseudo header add collected pseudo header fields into dpdk_pseudo_header_t |
| CP4::DPDK::AlignHdrMetaField | |
| CP4::DPDK::BreakLogicalExpressionParenthesis | |
| CP4::DPDK::CollectLocalVariables | |
| CP4::DPDK::CollectStructLocalVariables | |
| CP4::DPDK::ConvertBinaryOperationTo2Params | |
| CP4::DPDK::ConvertLookahead::Replace | |
| CP4::DPDK::ConvertToDpdkArch | |
| CP4::DPDK::ConvertToDpdkProgram | |
| CP4::DPDK::CopyPropagationAndElimination | This pass identifies redundant copies/moves and eliminates them |
| CP4::DPDK::DirectionToRegRead | |
| CP4::DPDK::DismantleMuxExpressions | |
| CP4::DPDK::DpdkAddPseudoHeaderDecl | This pass adds a pseudo header declaration, it will be used as container of operands where dpdk instructions require it's operand to be in a header. It adds a type decl like below @__pseudo_header__ header dpdk_pseudo_header_t { } |
| CP4::DPDK::ElimHeaderCopy | |
| CP4::DPDK::ElimUnusedActions | |
| CP4::DPDK::IfStatementUnroll | |
| CP4::DPDK::InjectFixedMetadataField | |
| CP4::DPDK::InjectInternetChecksumIntermediateValue | |
| CP4::DPDK::InjectJumboStruct | |
| CP4::DPDK::InsertReqDeclForIPSec | |
| CP4::DPDK::MoveCollectedStructLocalVariableToMetadata | |
| CP4::DPDK::MoveNonHeaderFieldsToPseudoHeader | This pass identifies and collects statement which requires it's operand to be in a header and also initialize added header fields with original operand. i.e. csum_0.add<tuple_0>((tuple_0){f0 = m.Ingress_tmp_1,f1 = m.Ingress_tmp_2, f2 = m.Ingress_tmp_3,f3 = m.Ingress_tmp_4,f4 = m.Ingress_tmp_5}); transformed into h.dpdk_pseudo_header.pseudo = (bit<16>)m.Ingress_tmp_1; h.dpdk_pseudo_header.pseudo_0 = (bit<16>)m.Ingress_tmp_2; h.dpdk_pseudo_header.pseudo_1 = (bit<8>)m.Ingress_tmp_3; h.dpdk_pseudo_header.pseudo_2 = (bit<32>)m.Ingress_tmp_4; h.dpdk_pseudo_header.pseudo_3 = (bit<32>)m.Ingress_tmp_5; csum_0.add<tuple_1>((tuple_1){f0 = h.dpdk_pseudo_header.pseudo, f1 = h.dpdk_pseudo_header.pseudo_0,f2 = h.dpdk_pseudo_header.pseudo_1, f3 = h.dpdk_pseudo_header.pseudo_2,f4 = h.dpdk_pseudo_header.pseudo_3}); |
| CP4::DPDK::PrependPDotToActionArgs | |
| CP4::DPDK::PrependPassRecircId | |
| CP4::DPDK::RemoveConsecutiveJmpAndLabel | |
| CP4::DPDK::RemoveLabelAfterLabel | |
| CP4::DPDK::RemoveRedundantLabel | This pass removes label that no jmps jump to |
| CP4::DPDK::RemoveUnusedMetadataFields | This pass removes all unused fields from metadata struct |
| CP4::DPDK::ReplaceHdrMetaField | |
| CP4::DPDK::ShortenTokenLength | This pass shorten the Identifier length |
| ►CP4::DPDK::SplitP4TableCommon | |
| CP4::DPDK::SplitActionProfileTable | |
| CP4::DPDK::SplitActionSelectorTable | |
| CP4::DPDK::StatementUnroll | |
| CP4::DPDK::SwapSimpleExpressionToFrontOfLogicalExpression | |
| CP4::DPDK::ThreadJumps | |
| CP4::DPDK::UpdateActionForSwitch | |
| CP4::DoBindTypeVariables | |
| CP4::DoConstantFolding | Statically evaluates many constant expressions |
| CP4::DoConvertEnums | |
| CP4::DoConvertErrors | |
| CP4::DoCopyStructures | |
| CP4::DoDefaultArguments | |
| CP4::DoDefaultValues | |
| CP4::DoEliminateInvalidHeaders | |
| CP4::DoEliminateSerEnums | |
| CP4::DoEliminateSwitch | |
| CP4::DoExpandEmit | |
| CP4::DoExpandLookahead | |
| ►CP4::DoFlattenHeaderUnion | |
| CP4::DoFlattenHeaderUnionStack | |
| CP4::DoGlobalCopyPropagation | |
| CP4::DoHandleNoMatch | |
| CP4::DoLocalCopyPropagation | |
| CP4::DoLocalCopyPropagation::ElimDead | |
| CP4::DoLocalCopyPropagation::RewriteTableKeys | |
| CP4::DoMoveActionsToTables | |
| CP4::DoOrderArguments | |
| CP4::DoRemoveActionParameters | |
| CP4::DoRemoveAssertAssume | |
| CP4::DoRemoveLeftSlices | |
| CP4::DoRemoveMiss | |
| CP4::DoRemoveParserControlFlow | Converts if statements in parsers into transitions |
| ►CP4::DoRemoveReturns | |
| CP4::DoRemoveExits | |
| CP4::DoRemoveSelectBooleans | |
| CP4::DoReplaceNewtype | |
| CP4::DoReplaceSelectRange | |
| CP4::DoReplaceTuples | |
| CP4::DoReplaceTypedef | |
| CP4::DoResetHeaders | Explicitly invalidate uninitialized header variables |
| CP4::DoSetHeaders | |
| CP4::DoSimplifyControlFlow | Replace complex control flow nodes with simpler ones where possible |
| CP4::DoSimplifyDefUse | |
| CP4::DoSimplifyExpressions | Convert expressions so that each expression contains at most one side effect |
| CP4::DoSimplifyKey | |
| CP4::DoSimplifyParsers | Remove unreachable parser states, and collapse simple chains of states |
| CP4::DoSimplifySelectCases | |
| CP4::DoSimplifySwitch | Simplify select and switch statements that have constant arguments |
| CP4::DoStaticAssert | |
| CP4::DoStrengthReduction | |
| CP4::DoSynthesizeActions | |
| CP4::DoTableHit | |
| CP4::DoTableKeyNames | |
| CP4::DontcareArgs | |
| CP4::DuplicateActions | |
| CP4::EBPF::ConvertToEbpfPSA | |
| CP4::EBPF::LowerExpressions | This pass rewrites expressions which are not supported natively on EBPF |
| CP4::EliminateSubparserCalls | |
| CP4::EntryPriorities | Assigns priorities to table entries if they are not 'const' |
| CP4::FillEnumMap | |
| CP4::HSIndexContretizer | |
| CP4::HSIndexTransform | This class substitutes index of a header stack in all occurences of found header stack |
| CP4::HandleValidityHeaderUnion | |
| CP4::HierarchicalNames | |
| CP4::InlineControlFlow | |
| CP4::InstantiateDirectCalls | |
| CP4::KeySideEffect | |
| CP4::LocalizeActions | |
| CP4::MissingIdAssigner | |
| CP4::MoveConstructors | |
| CP4::MoveDeclarations | |
| CP4::MoveInitializers | |
| CP4::NameGateways | |
| CP4::P4Tools::ConvertStructExpr | |
| CP4::P4Tools::ConvertVarbits | |
| CP4::P4Tools::HSIndexToMember | The main class for finding non-concrete header stack indices |
| CP4::P4Tools::MaskBuilder | |
| CP4::P4Tools::P4Testgen::Bmv2::AssertsParser | |
| CP4::P4Tools::P4Testgen::Bmv2::PropagateP4RuntimeTranslation | |
| CP4::P4Tools::P4Testgen::VariableSubstitution | |
| CP4::P4Tools::TaintPropagator | |
| CP4::P4V1::AdjustLengths | |
| ►CP4::P4V1::ExpressionConverter | |
| CP4::P4V1::StatementConverter | |
| CP4::P4V1::TypeConverter | |
| CP4::P4V1::FixExtracts | |
| CP4::P4V1::InsertCompilerGeneratedStartState | |
| CP4::P4V1::MoveIntrinsicMetadata | |
| CP4::P4V1::Rewriter | |
| CP4::P4_14::InlineActions | Special inliner which works directly on P4-14 representation |
| CP4::ParserStructureImpl::ParserStateRewriter | |
| CP4::Predication | |
| CP4::Reassociation | |
| CP4::RemoveAliases | |
| CP4::RemoveBreakContinue | |
| CP4::RemoveComplexComparisons | |
| ►CP4::RemoveComplexExpressions | |
| CP4::BMV2::RemoveComplexExpressions | |
| CP4::RemoveGenericTypes | Removes all structs or stacks that are generic |
| CP4::RemoveHidden | |
| CP4::RemoveNestedStructs | |
| CP4::RemoveUnusedActionParameters | |
| CP4::RemoveUnusedDeclarations | Removes unused declarations |
| CP4::RemoveUnusedHUDeclarations | |
| CP4::RemoveUselessCasts | |
| CP4::RenameSymbols | |
| CP4::ReplaceHeaders | |
| CP4::ReplaceIndexRefs | |
| CP4::ReplaceLogMsg | |
| CP4::ReplaceStructs | |
| CP4::ReplaceTypeUses | |
| CP4::RewriteAllParsers | |
| CP4::SimplifyBitwise | |
| CP4::Specialize | Specializes each Parser and Control with constant constructor arguments by substituting type arguments and constructor parameters |
| CP4::SpecializeFunctions | Specializes each generic function by substituting type parameters |
| CP4::SubstituteStructures | |
| CP4::TC::ConvertToEbpfPNA | |
| CP4::TagGlobalActions | |
| CP4::Test::ArithmTest::SaturationTransform | The main class for saturation transformation |
| CP4::Test::SymbolicConverter | Converts IR::Member into symbolic variables |
| CP4::TypeCheck::AssignInitialTypes | |
| CP4::TypeCheck::MakeImplicitCastsExplicit | |
| CP4::TypeInference | |
| ►CP4::TypeVariableSubstitutionVisitor | |
| CP4::SubstituteParameters | |
| CP4::TypeSubstitutionVisitor | |
| CP4::UnnestSelectList | |
| CP4::UnrollLoops | |
| CP4::VisitFunctor | |
| CP4::Visitor::ChangeTracker | Assists visitors in traversing the IR |
| CP4::Visitor::profile_t | |
| CP4::Visitor::Tracker | Assists visitors in traversing the IR |
| CP4::Visitor_Context | |
| Cp4tc_ext_bpf_params | |
| Cp4tc_ext_bpf_val | |
| Cp4tc_ext_csum_params | |
| Cp4tc_table_entry_act_bpf_params__local | |
| Cp4tc_table_entry_create_bpf_params__local | |
| Cpcap_pkt | |
| Cpna_global_metadata | |
| Cpna_main_input_metadata_t | |
| Cpna_main_output_metadata_t | |
| Cpna_main_parser_input_metadata_t | |
| Cpsa_egress_deparser_input_metadata_t | |
| Cpsa_egress_input_metadata_t | |
| Cpsa_egress_output_metadata_t | |
| Cpsa_egress_parser_input_metadata_t | |
| Cpsa_global_metadata | |
| Cpsa_ingress_input_metadata_t | |
| Cpsa_ingress_output_metadata_t | |
| Cpsa_ingress_parser_input_metadata_t | INGRESS data types |
| Csk_buff | Simple descriptor which replaces the kernel sk_buff structure |
| ►Cstd::basic_streambuf | |
| CP4::basic_nullbuf< cT, std::char_traits< cT > > | |
| CP4::basic_nullbuf< cT, traits > | |
| ►Cstd::basic_string< Char > | STL class |
| ►Cstd::string | STL class |
| CP4::JsonString | |
| ►Cstd::enable_if | |
| CP4::RTTI::enable_if_has_rtti< T, R > | |
| ►Cstd::exception | STL class |
| ►CP4::Util::P4CExceptionBase | |
| CP4::P4Tools::P4Testgen::TestgenUnimplemented | |
| CP4::Util::CompilationError | |
| CP4::Util::CompilerBug | This class indicates a bug in the compiler |
| CP4::Util::CompilerUnimplemented | This class indicates an unimplemented feature in the compiler |
| ►Cstd::false_type | |
| CP4::IR::has_static_type_name< T, std::void_t< decltype(T::static_type_name())> > | |
| CP4::Util::has_SourceInfo< T, std::void_t< decltype(std::declval< T >().getSourceInfo())> > | |
| CP4::Util::has_toString< T, std::void_t< decltype(std::declval< T >().toString())> > | |
| CP4::has_dbprint< T, std::void_t< decltype(std::declval< T >().dbprint(std::declval< std::ostream & >()))> > | |
| CP4::has_ostream_operator< T, std::void_t< decltype(std::declval< std::ostream & >()<< std::declval< T >())> > | |
| CP4::IR::has_static_type_name< class, class > | |
| CP4::Util::has_SourceInfo< class, class > | SFINAE helper to check if given class has a getSourceInfo method |
| CP4::Util::has_toString< class, class > | SFINAE helper to check if given class has a toString method |
| CP4::has_dbprint< class, class > | |
| CP4::has_ostream_operator< class, class > | |
| Cstd::hash< P4::ClosedRange< Unit, Order > > | |
| Cstd::hash< P4::ComputeDefUse::loc_t > | |
| Cstd::hash< P4::cstring > | |
| Cstd::hash< P4::HalfOpenRange< Unit, Order > > | |
| Cstd::hash< P4::loc_t > | |
| Cstd::hash< P4::ProgramPoint > | |
| Cstd::hash< std::pair< T1, T2 > > | |
| Cstd::hash< std::tuple< Types... > > | |
| ►Cstd::ios_base | STL class |
| ►Cstd::basic_ios< Char > | STL class |
| ►Cstd::basic_ostream< Char > | STL class |
| CP4::onullstream< char > | |
| CP4::onullstream< cT, traits > | |
| ►Cstd::is_base_of | |
| CP4::RTTI::has_rtti< T > | |
| ►Cstd::iterator | |
| CP4::ordered_set< T, COMP, ALLOC >::sorted_iterator | |
| ►Cstd::true_type | |
| CP4::IR::has_static_type_name< T, std::void_t< decltype(T::static_type_name())> > | |
| CP4::Util::has_SourceInfo< T, std::void_t< decltype(std::declval< T >().getSourceInfo())> > | |
| CP4::Util::has_toString< T, std::void_t< decltype(std::declval< T >().toString())> > | |
| CP4::has_dbprint< T, std::void_t< decltype(std::declval< T >().dbprint(std::declval< std::ostream & >()))> > | |
| CP4::has_ostream_operator< T, std::void_t< decltype(std::declval< std::ostream & >()<< std::declval< T >())> > | |
| ►Cstd::vector< T > | STL class |
| CP4::iterator<> | |
| CP4::const_iterator<> | |
| CP4::safe_vector< const IR::Type * > | |
| CP4::safe_vector< const IR::DpdkAsmStatement * > | |
| CP4::safe_vector< const P4::IR::Node * > | |
| CP4::safe_vector< const IR::Declaration * > | |
| CP4::safe_vector< const IR::DpdkTable * > | |
| CP4::safe_vector< const IR::DpdkSelector * > | |
| CP4::safe_vector< const IR::DpdkLearner * > | |
| CP4::safe_vector< const IR::DpdkAction * > | |
| CP4::safe_vector< const IR::Parameter * > | |
| CP4::safe_vector< const IR::DpdkDeclaration * > | |
| CP4::safe_vector< const IR::StructField * > | |
| CP4::safe_vector< const IR::Argument * > | |
| CP4::safe_vector< const T * > | |
| CP4::safe_vector< const IR::ParserState * > | |
| CP4::safe_vector< const Constraint * > | |
| CP4::safe_vector< const IR::SelectCase * > | |
| CP4::safe_vector< const IR::Expression * > | |
| CP4::safe_vector< DebugHook > | |
| CP4::safe_vector< P4::Visitor * > | |
| CP4::safe_vector< const IR::StatOrDecl * > | |
| CP4::safe_vector< const N * > | |
| CP4::safe_vector< struct P4::TC::Annotation * > | |
| CP4::safe_vector< struct P4::TC::ActionParam * > | |
| CP4::safe_vector< const IR::P4Table * > | |
| CP4::safe_vector< struct P4::TC::ConvertToBackendIR::ExternInstance * > | |
| CP4::safe_vector< struct P4::TC::ExternInstancesAttributes * > | |
| CP4::safe_vector< struct P4::TC::KeyFieldAttributes * > | |
| CP4::safe_vector< struct P4::TC::ExternAttributes * > | |
| CP4::safe_vector< struct P4::TC::TableAttributes * > | |
| CP4::safe_vector< struct P4::TC::ActionAttributes * > | |
| CP4::safe_vector< const IR::Annotation * > | |
| CP4::safe_vector< const P4::graphs::ParserGraphs::TransitionEdge * > | |
| CP4::JsonVector | |
| CP4::Util::JsonArray | |
| CP4::safe_vector< T, Alloc > | |
| ►Ctesting::Test | |
| CP4::Test::P4CReachability | |
| CP4::Test::P4SmithForInLoopTest | |
| CP4::Test::P4SmithForLoopTest | |
| ►CP4::Test::P4ToolsTest | GTest for P4 Tools tests |
| CP4::Test::FormatTest | Helper methods to build configurations for Format Tests |
| CP4::Test::P4AssertsParserTest | |
| CP4::Test::P4RuntimeApiTest | Helper methods to build configurations for P4RuntimeApi Tests |
| CP4::Test::PTFTest | Helper methods to build configurations for PTF Tests |
| CP4::Test::STFTest | Helper methods to build configurations for STF Tests |
| CP4::Test::SmallStepTest | |
| CP4::Test::TaintTest | Helper methods to build configurations for Taint Tests |
| CP4::Test::Z3SolverTest | |
| ►CP4::Test::Z3SolverSatTests | |
| CP4::Test::ArithmTest::Z3SolverAddSat01 | |
| CP4::Test::ArithmTest::Z3SolverAddSat02 | |
| CP4::Test::ArithmTest::Z3SolverAddSat03 | |
| CP4::Test::ArithmTest::Z3SolverAddSat04 | |
| CP4::Test::ArithmTest::Z3SolverAddSat05 | |
| CP4::Test::ArithmTest::Z3SolverSubSat01 | |
| CP4::Test::ArithmTest::Z3SolverSubSat02 | |
| CP4::Test::ArithmTest::Z3SolverSubSat03 | |
| CP4::Test::ArithmTest::Z3SolverSubSat04 | |
| CP4::Test::ArithmTest::Z3SolverSubSat05 | |
| CP4::Test::Z3SolverSatisfiabilityChecks | |
| ►CP4::Test::Z3SolverTests | |
| CP4::Test::Z3Test::Z3SolverAdd | |
| CP4::Test::Z3Test::Z3SolverBAnd | |
| CP4::Test::Z3Test::Z3SolverBOR | |
| CP4::Test::Z3Test::Z3SolverBXor | |
| CP4::Test::Z3Test::Z3SolverCastBit2Bool | |
| CP4::Test::Z3Test::Z3SolverCastBit2EqualBit | |
| CP4::Test::Z3Test::Z3SolverCastBit2LargerBit | |
| CP4::Test::Z3Test::Z3SolverCastBit2LessBit | |
| CP4::Test::Z3Test::Z3SolverCastBool2Bit | |
| CP4::Test::Z3Test::Z3SolverCastInAssignment | |
| CP4::Test::Z3Test::Z3SolverComplement | |
| CP4::Test::Z3Test::Z3SolverConc | |
| CP4::Test::Z3Test::Z3SolverITE | |
| CP4::Test::Z3Test::Z3SolverMod | |
| CP4::Test::Z3Test::Z3SolverMult | |
| CP4::Test::Z3Test::Z3SolverShl | |
| CP4::Test::Z3Test::Z3SolverShrS | |
| CP4::Test::Z3Test::Z3SolverShrU | |
| CP4::Test::Z3Test::Z3SolverSub | |
| CUT_hash_bucket | |
| CUT_hash_handle | |
| CUT_hash_table | |
1.13.2