| CPPTree::AccessSpec | Property for any access spec |
| Action | |
| Steps::AddGotoBeforeLabel | |
| Steps::AddInferredYield | |
| Steps::AddLinkAddress | |
| Steps::AddStateEnumVar | Insert state variable as an enum |
| Steps::AddStateLabelVar | |
| Steps::AddYieldFlag | |
| Agent | |
| CPPTree::AlignOf | Alignof() a type |
| AnyNode< PRE_RESTRICTION > | |
| AnyNodeBase | |
| APFloat | |
| Steps::ApplyBottomPolicy | |
| Steps::ApplyCombGotoPolicy | |
| Steps::ApplyLabelPolicy | Group all labels at the top by placing state bodies under if |
| Steps::ApplyTopPolicy | |
| Steps::ApplyYieldGotoPolicy | |
| APSInt | |
| CPPTree::Array | This is the type of an array that contains the specified number of elements of the specified type |
| CPPTree::AssignmentOperator | An operator with two operands, that writes its result back to the first operand |
| CPPTree::Automatic | A local variable with automatic allocation |
| AutoPush< T > | |
| Steps::AutosToModule | |
| CPPTree::Base | Node for a base class within a class declaration, specifies another class from which to inherit |
| CPPTree::Binop | An operator with two operands |
| CPPTree::Bool | Intermediate property node that represents either boolean value |
| CPPTree::Boolean | Boolean type |
| CPPTree::Break | Break (from innermost Breakable) |
| CPPTree::Breakable | Designate a statement that may be broken out of |
| Steps::BreakToGoto | |
| BuildContainerSize | |
| BuildIdentifierBase | |
| BuildInstanceIdentifier | |
| BuildLabelIdentifier | |
| BuildTypeIdentifier | |
| CPPTree::Call | A function call to specified function passing in specified arguments |
| CPPTree::Callable | Anything that can be called |
| CPPTree::CallableParams | Anything that can be called and has parameters |
| CPPTree::CallableParamsReturn | Anything that can be called and has parameters and return value |
| CPPTree::Case | Case label |
| CPPTree::Cast | Node for a c-style cast |
| HitCount::Category | |
| SCTree::Cease | Cease function |
| Conjecture::Choice | |
| CPPTree::Class | Class as per InheritanceRecord |
| Steps::CleanupCompoundExpression | Find compound statements inside compund statements and flatten |
| Steps::CleanupCompoundMulti | Find compound statements inside compund statements and flatten |
| Steps::CleanupCompoundSingle | Find compound blocks with only a single statement, and flatten |
| Steps::CleanUpDeadCode | |
| Steps::CleanupDuplicateLabels | |
| Steps::CleanupIneffectualGoto | Find a goto to a lable just before the label, and remove the goto |
| Steps::CleanupIneffectualLabels | Find a goto to a lable just before the label, and remove the goto |
| Steps::CleanupNestedIf | Simplify if(x) if(y) z using && |
| Steps::CleanupNop | Get rid of Nops |
| Steps::CleanupUnusedLabels | |
| Steps::CleanupUnusedVariables | |
| SCTree::ClockedThread | |
| Cloner | |
| Collection< VALUE_TYPE > | |
| CombableBreak | |
| CombableFor | |
| CPPTree::CommutativeBinop | An operator with two interchangable operands |
| CPPTree::CommutativeOperator | An operator with operands whose order does not matter |
| Steps::CompactGotos | |
| CompareReplace | |
| CPPTree::Compound | Declarations and Statements inside {} or begin/end |
| CPPTree::CompoundExpression | GCC extension for compound statements that return a value |
| Conjecture | |
| CPPTree::Const | Property indicating the Instance is constant |
| CPPTree::Constancy | Property that indicates whether some Instance is constant |
| CPPTree::Constructor | A C++ constructor. The init list is just zero or more calls to constructors in the body |
| OOStd::ContainerCommon< SUB_BASE, VALUE_INTERFACE, CONTAINER_IMPL > | |
| ContainerFromIterator< Iterator, ConsParam1, ConsParam2, ConsParam3 > | |
| OOStd::ContainerInterface< SUB_BASE, VALUE_INTERFACE > | |
| CPPTree::Continue | Continue (to innermost Loop) |
| OOStd::CountingIterator< SUB_BASE, VALUE_INTERFACE > | |
| CouplingKeys | |
| CouplingSlave | Coupling slave can read the master's CouplingKeys structure |
| CPPTree::Declaration | A declaration specifies the creation of a UserType or an Instance |
| Steps::DeclsToModule | |
| CPPTree::Default | Default label in a switch statement |
| CPPTree::Delete | Node for C++ delete operator |
| CPPTree::DeleteArray | Property indicating delete[] was used |
| CPPTree::DeleteArrayness | Property indicating whether a delete should delete an array |
| CPPTree::DeleteNonArray | Property indicating delete, no [] |
| SCTree::DeltaCount | |
| deque | |
| Tracer::Descend | |
| CPPTree::Destructor | A C++ destructor |
| Steps::DetectAllSCTypes | |
| Steps::DetectCombableBreak | |
| Steps::DetectCombableFor | |
| DetectSCBase< SCCLASS > | Spot SystemC base class by its name and replace with inferno node |
| DetectSCDelta< SCFUNC > | |
| DetectSCDynamic< SCFUNC > | |
| DetectSCNotifyDelta | Spot SystemC notify(SC_ZERO_TIME) method by its name and replace with inferno node |
| DetectSCNotifyImmediate | Spot SystemC notify() method by its name and replace with inferno node |
| DetectSCProcess | |
| DetectSCStatic< SCFUNC > | |
| DetectSCType< SCNODE > | Spot SystemC type by its name and replace with inferno node |
| Steps::DetectSuperLoop | |
| DetectTerminationFunction< SCFUNC > | Spot syscall exit() or equivalent function by its name and replace with inferno node |
| Steps::DetectUncombableSwitch | |
| CPPTree::Do | Do loop (first iteration always runs) |
| Steps::DoToIfGoto | |
| Itemiser::Element | |
| Steps::EnsureBootstrap | |
| Steps::EnsureResetYield | |
| Steps::EnsureSuperLoop | |
| CPPTree::Enum | An Enum, as per record |
| Erase< PRE_RESTRICTION > | |
| EraseBase | |
| SCTree::Event | |
| SCTree::EventProcess | |
| SCTree::Exit | The exit() system call; cease() below is preferred |
| Steps::ExplicitiseReturn | |
| Steps::ExplicitiseReturns | |
| CPPTree::Expression | An expression that computes a result value |
| Steps::ExtractCallParams | |
| CPPTree::False | Property node for boolean value false |
| CPPTree::Field | A non-static member Instance (function or variable) |
| Filter | |
| Steps::FixFallthrough | |
| FlattenNode_iterator | Iterator for FlattenNode |
| CPPTree::Float | Intermediate property node that represents a floating point number of any value |
| CPPTree::Floating | Type of a floating point number |
| CPPTree::FloatSemantics | Property for the details of any floating point behaviour |
| Flushable | |
| CPPTree::For | C-style for loop |
| Steps::ForToWhile | |
| CPPTree::Function | A function like in C, Pascal; params and a single return value of the specified type |
| Steps::GenerateImplicitCasts | |
| Steps::GenerateStacks | |
| GetDeclaration | |
| CPPTree::Global | Property indicating ::new/::delete was used |
| CPPTree::Globality | Property indicating whether a New/Delete is global |
| CPPTree::Goto | A goto statement |
| Steps::GotoAfterWait | Make sure every SystemC wait is followed by a goto |
| Graph | |
| GreenGrass< PRE_RESTRICTION > | |
| GreenGrassBase | |
| HitCount | |
| CPPTree::Identifier | Property node for any identifier |
| IdentifierByNameBase | |
| IdentifierTracker | |
| CPPTree::If | If statement |
| Steps::IfToIfGoto | |
| CPPTree::Indirection | Intermediate for indirect access to some type as specified |
| Steps::InferBreak | |
| CPPTree::InheritanceRecord | A record that can inherit from other records and be inherited from |
| CPPTree::Initialiser | Variable initialiser or function body |
| InPlaceTransformation | |
| Insert< PRE_RESTRICTION > | |
| InsertBase | |
| Steps::InsertInferredYield | |
| Steps::InsertSwitch | |
| CPPTree::Instance | Declaration of a variable, object or function |
| CPPTree::InstanceIdentifier | Identifier for any Instance (variable or object or function) |
| InstanceIdentifierByName | |
| CPPTree::Integer | Intermediate property node that represents an integer of any value and signedness |
| Integer | |
| CPPTree::Integral | Type represents an integral (singed or unsigned) type |
| SCTree::Interface | |
| IsLabelReached | |
| Itemiser | |
| iterator | |
| OOStd::SimpleAssociativeContainer< SUB_BASE, VALUE_INTERFACE, CONTAINER_IMPL >::iterator | |
| OOStd::Sequence< SUB_BASE, VALUE_INTERFACE, CONTAINER_IMPL >::iterator | |
| OOStd::ContainerInterface< SUB_BASE, VALUE_INTERFACE >::iterator | |
| OOStd::ContainerCommon< SUB_BASE, VALUE_INTERFACE, CONTAINER_IMPL >::iterator | |
| iterator | |
| iterator | |
| iterator | |
| OOStd::ContainerInterface< SUB_BASE, VALUE_INTERFACE >::iterator_interface | |
| iterator_interface | |
| Key | |
| CPPTree::Label | Declaration of a label for switch, goto etc |
| CPPTree::Labeley | |
| CPPTree::LabelIdentifier | Identifier for a label that can be any label |
| LabelIdentifier | |
| LabelIdentifierByName | |
| Steps::LabelTypeToEnum | Change all types from Labeley to the state enum, and move lmap lookups from && to goto |
| Steps::LabelVarsToEnum | Variable-by-variable, change type from Labeley to the state enum, and move lmap lookups though the variable |
| CPPTree::Literal | A property that can also be used as a literal in a program |
| CPPTree::LocalVariable | Any variable local to a Compound-statement. Cannot be a function |
| Steps::LogicalAndToIf | |
| Steps::LogicalOrToIf | |
| CPPTree::Lookup | Node for accessing an element in a record as in base.member |
| CPPTree::Loop | Any loop |
| Steps::LoopRotation | |
| Magic | |
| Steps::MakeAllBreakUncombable | |
| Steps::MakeAllForUncombable | |
| Steps::MakeFallThroughMachine | |
| MakePatternPtr< NODE_TYPE > | |
| CPPTree::MakeRecord | Initialiser for a record |
| MakeTreePtr< VALUE_TYPE > | |
| MakeTreePtr< Node > | |
| map | |
| Map< KEY, DATA > | |
| CPPTree::MapOperand | Associates an Expression with an InstanceIdentifier |
| CPPTree::MapOperator | An operator with operands whose order is established by mapping |
| MatchAll< PRE_RESTRICTION > | |
| MatchAllBase | |
| MatchAny< PRE_RESTRICTION > | |
| MatchAnyBase | |
| Matcher | |
| MatchOdd< PRE_RESTRICTION > | |
| MatchOddBase | |
| Steps::MergeFunctions | |
| SCTree::Method | |
| SCTree::Module | |
| Steps::MoveInitIntoSuperLoop | |
| Steps::MoveInstanceDeclarations | |
| Steps::MultiplexorToIf | |
| multiset | |
| MyNode | |
| NestedArray | |
| NestedBase | |
| NestedSubscriptLookup | |
| CPPTree::New | Node for the C++ new operator |
| SCTree::NextTrigger | |
| SCTree::NextTriggerDelta | |
| SCTree::NextTriggerDynamic | |
| SCTree::NextTriggerStatic | |
| Node | |
| NODE_TYPE | |
| NodeBases | |
| CPPTree::NonCommutativeOperator | An operator with operands whose order is defined |
| CPPTree::NonConst | Property indicating the Instance is not constant |
| CPPTree::NonGlobal | Property indicating just new/delete, no :: was used |
| CPPTree::NonVirtual | Property for a non-virtual member funciton |
| CPPTree::Nop | Do nothing; these get optimised out where possible |
| NormalAgent | |
| NormalAgentWrapper< NODE_TYPE > | |
| Steps::NormaliseConditionalGotos | |
| SCTree::Notify | |
| SCTree::NotifyDelta | |
| SCTree::NotifyImmediate | |
| SCTree::NotifyTimed | |
| NotMatch< PRE_RESTRICTION > | |
| NotMatchBase | |
| CPPTree::Number | Intermediate property node that represents a number of any value |
| CPPTree::Numeric | Intermediate for any type that represents a number that you can eg add and subtract |
| CPPTree::Operator | An operator |
| OutOfPlaceTransformation | |
| Overlay< PRE_RESTRICTION > | |
| OverlayBase | |
| Steps::ParamsViaTemps | |
| ParentWalk_iterator | Iterator for ParentWalk |
| Parse | |
| Steps::PlaceLabelsInArray | Put all the labels in an array indexable by an enum |
| CPPTree::Pointer | A C/C++ pointer |
| PointerIs< PRE_RESTRICTION > | |
| PointerIsBase | |
| OOStd::PointIterator< SUB_BASE, VALUE_INTERFACE > | |
| CPPTree::Private | Property for private access |
| CPPTree::Procedure | A procedure like in pascal etc, params but no return value |
| SCTree::Process | |
| CPPTree::Program | The top level of a program |
| CPPTree::Property | Property is the base class for property nodes |
| CPPTree::Protected | Property for protected access |
| CPPTree::Public | Property for public access |
| CPPTree::RangeCase | Case label, supporting range extension in case useful for optimisation |
| RCHold< NODE, RAW > | |
| ReadArgs | |
| CPPTree::Record | Intermediate for declaration of a struct, class, union or enum |
| Steps::ReduceVoidCompoundExpression | |
| CPPTree::Reference | A C++ reference |
| RemoveEmptyModuleConstructors | |
| RemoveVoidInstances | Remove top-level instances that are of type void |
| Render | |
| CPPTree::Return | The return statement of a function |
| Steps::ReturnViaTemp | |
| SCTree::SCConstruct | |
| SCTree::SCNamedConstruct | |
| SCTree::SCNamedFunction | Anything derived from this renders like a function |
| SCTree::SCNamedIdentifier | Anything derived from this renders like an identifier |
| SCTree::SCNamedRecord | Anything derived from this renders like a record |
| CPPTree::Scope | A scope is any space in a program where declarations may appear. Declarations |
| SearchContainerBase | |
| SearchReplace | |
| OOStd::Sequence< SUB_BASE, VALUE_INTERFACE, CONTAINER_IMPL > | |
| Sequence< VALUE_TYPE > | |
| OOStd::SequenceInterface< SUB_BASE, VALUE_INTERFACE > | |
| CPPTree::SequentialScope | A sequence of statements in a scope that shall execute in sequence |
| set | |
| Set< KEY > | |
| shared_ptr | |
| OOStd::SharedPtr< SUB_BASE, VALUE_INTERFACE, VALUE_TYPE > | |
| OOStd::SharedPtrInterface< SUB_BASE, VALUE_INTERFACE > | |
| Steps::ShareGotos | |
| CPPTree::Signed | Type of a signed integer number (2's complement) |
| OOStd::SimpleAssociativeContainer< SUB_BASE, VALUE_INTERFACE, CONTAINER_IMPL > | |
| OOStd::SimpleAssociativeContainerInterface< SUB_BASE, VALUE_INTERFACE > | |
| SimpleCompare | |
| CPPTree::SizeOf | Sizeof() a type |
| Slave< ALGO, PRE_RESTRICTION > | |
| SlaveBase | |
| SlaveCompareReplace< PRE_RESTRICTION > | |
| SlaveIntermediate< ALGO > | |
| SlaveSearchReplace< PRE_RESTRICTION > | |
| Steps::SlaveTest | |
| SoftReplacePattern | |
| SoftSearchPattern | |
| SoftSearchPatternSpecialKey | |
| Special< PRE_RESTRICTION > | |
| SpecialBase | |
| CPPTree::SpecificFloat | Property node for a specific floating point value |
| CPPTree::SpecificFloatSemantics | Property for the details of a specific floating point behaviour |
| CPPTree::SpecificIdentifier | Property for a specific identifier, linked to by a particular Declaration |
| CPPTree::SpecificInstanceIdentifier | Identifier for a specific Instance, linked to by a particular Declaration |
| CPPTree::SpecificInteger | Property node for a specific integer value |
| CPPTree::SpecificLabelIdentifier | Identifier for a specific label that has been declared somewhere |
| CPPTree::SpecificString | A string with a specific value |
| CPPTree::SpecificTypeIdentifier | Identifier for a specific user defined type, linked to by a particular Declaration |
| Steps::SplitInstanceDeclarations | |
| Steps::SplitInstanceDeclarations2 | |
| Star< PRE_RESTRICTION > | |
| StarBase | |
| Walk_iterator::StateEntry | |
| StateLabel | |
| CPPTree::Statement | Represents a statement as found inside a function body |
| CPPTree::Static | A variable or function with one instance across the entire program |
| CPPTree::String | Intermediate property node that represents a string of any value |
| CPPTree::Struct | Struct as per InheritanceRecord |
| Stuff< PRE_RESTRICTION > | |
| StuffBase | |
| CPPTree::Subroutine | Subroutine like in Basic, no params or return |
| Steps::SwapSubscriptMultiplex | Find c ? a[i] : a[j] and replace with a[ c ? i : j ] |
| CPPTree::Switch | Switch statement |
| Steps::SwitchCleanUp | |
| CPPTree::SwitchTarget | Intermediate for labels in a switch statement |
| Steps::SwitchToIfGoto | |
| CPPTree::Temporary | A local temp variable not preserved across function calls |
| TempReturnAddress | |
| Steps::TempsAndStaticsToModule | |
| SCTree::TerminationFunction | Termination functions |
| TerminusBase | |
| TerminusKey | |
| CPPTree::Ternop | An operator with three operands |
| SCTree::Thread | |
| Steps::ThreadToMethod | |
| Traceable | |
| Tracer | |
| Transformation | |
| TransformationVector | |
| TransformOf< PRE_RESTRICTION > | |
| TransformOfBase | |
| TreePtr< VALUE_TYPE > | |
| CPPTree::True | Property node for boolean value true |
| CPPTree::Type | Any abstract data type |
| TypeDb | |
| CPPTree::Typedef | Represents a typedef |
| CPPTree::TypeIdentifier | Identifier for any user defined type |
| TypeIdentifierByName | |
| TypeInfo | |
| TypeOf | |
| CPPTree::TypeOperator | Operator that operates on data types as parameters |
| CPPTree::Uncombable | Indicates that the node cannot be combinationalised |
| UncombableBreak | |
| UncombableFor | |
| UncombableSwitch | |
| CPPTree::Uninitialised | Uninitialised Instance |
| CPPTree::Union | A union, as per Record |
| UniqueFilter | Filter that only matches each Node one time, then not again until Reset() is called |
| UniqueWalk_iterator | Iterator for UniqueWalk |
| UniqueWalkNoBody_iterator | |
| UniqueWalkNoBodyOrIndirection_iterator | |
| UniqueWalkNoSlavePattern_iterator | |
| UniquifyIdentifiers | |
| CPPTree::Unop | An operator with a single operand |
| CPPTree::Unsigned | Type of an unsigned integer number |
| CPPTree::UserType | Intermediate declaration of a user defined type of any kind (struct, typedef etc) |
| Steps::UseTempForReturnValue | |
| Validate | |
| vector | |
| CPPTree::Virtual | Property for a virtual member funciton |
| CPPTree::Virtuality | Property for a member function that may or may not be virtual |
| VisibleIdentifiers | |
| CPPTree::Void | The pseudo-type void, disallowed in some circumstances as per C |
| SCTree::Wait | |
| SCTree::WaitDelta | |
| SCTree::WaitDynamic | |
| SCTree::WaitStatic | |
| Walk_iterator | Iterator for Walk |
| CPPTree::While | While loop |
| Steps::WhileToDo | |
1.7.6.1