|
| DetectSCType | MakeAllBreakUncombable (Steps) | SharedPtr (OOStd) |
| DetectSuperLoop (Steps) | MakeAllForUncombable (Steps) | SharedPtrInterface (OOStd) |
| AccessSpec (CPPTree) | DetectTerminationFunction | MakeFallThroughMachine (Steps) | ShareGotos (Steps) |
| clang::Action | DetectUncombableSwitch (Steps) | MakePatternPtr | Signed (CPPTree) |
| AddGotoBeforeLabel (Steps) | Do (CPPTree) | MakeRecord (CPPTree) | SimpleAssociativeContainer (OOStd) |
| AddInferredYield (Steps) | DoToIfGoto (Steps) | MakeTreePtr | SimpleAssociativeContainerInterface (OOStd) |
| AddLinkAddress (Steps) |
| MakeTreePtr< Node > | SimpleCompare |
| AddStateEnumVar (Steps) | Map | SizeOf (CPPTree) |
| AddStateLabelVar (Steps) | Itemiser::Element | map | Slave |
| AddYieldFlag (Steps) | EnsureBootstrap (Steps) | MapOperand (CPPTree) | SlaveBase |
| Agent | EnsureResetYield (Steps) | MapOperator (CPPTree) | SlaveCompareReplace |
| AlignOf (CPPTree) | EnsureSuperLoop (Steps) | MatchAll | SlaveIntermediate |
| AnyNode | Enum (CPPTree) | MatchAllBase | SlaveSearchReplace |
| AnyNodeBase | Erase | MatchAny | SlaveTest (Steps) |
| llvm::APFloat | EraseBase | MatchAnyBase | SoftReplacePattern |
| ApplyBottomPolicy (Steps) | Event (SCTree) | Matcher | SoftSearchPattern |
| ApplyCombGotoPolicy (Steps) | EventProcess (SCTree) | MatchOdd | SoftSearchPatternSpecialKey |
| ApplyLabelPolicy (Steps) | Exit (SCTree) | MatchOddBase | Special |
| ApplyTopPolicy (Steps) | ExplicitiseReturn (Steps) | MergeFunctions (Steps) | SpecialBase |
| ApplyYieldGotoPolicy (Steps) | ExplicitiseReturns (Steps) | Method (SCTree) | SpecificFloat (CPPTree) |
| llvm::APSInt | Expression (CPPTree) | Module (SCTree) | SpecificFloatSemantics (CPPTree) |
| Array (CPPTree) | ExtractCallParams (Steps) | MoveInitIntoSuperLoop (Steps) | SpecificIdentifier (CPPTree) |
| AssignmentOperator (CPPTree) |
| MoveInstanceDeclarations (Steps) | SpecificInstanceIdentifier (CPPTree) |
| Automatic (CPPTree) | MultiplexorToIf (Steps) | SpecificInteger (CPPTree) |
| AutoPush | False (CPPTree) | multiset | SpecificLabelIdentifier (CPPTree) |
| AutosToModule (Steps) | Field (CPPTree) | MyNode | SpecificString (CPPTree) |
|
| Filter |
| SpecificTypeIdentifier (CPPTree) |
| FixFallthrough (Steps) | SplitInstanceDeclarations (Steps) |
| Base (CPPTree) | FlattenNode_iterator | NestedArray | SplitInstanceDeclarations2 (Steps) |
| Binop (CPPTree) | Float (CPPTree) | NestedBase | Star |
| Bool (CPPTree) | Floating (CPPTree) | NestedSubscriptLookup | StarBase |
| Boolean (CPPTree) | FloatSemantics (CPPTree) | New (CPPTree) | Walk_iterator::StateEntry |
| Break (CPPTree) | Flushable | NextTrigger (SCTree) | StateLabel |
| Breakable (CPPTree) | For (CPPTree) | NextTriggerDelta (SCTree) | Statement (CPPTree) |
| BreakToGoto (Steps) | ForToWhile (Steps) | NextTriggerDynamic (SCTree) | Static (CPPTree) |
| BuildContainerSize | Function (CPPTree) | NextTriggerStatic (SCTree) | String (CPPTree) |
| BuildIdentifierBase |
| Node | Struct (CPPTree) |
| BuildInstanceIdentifier | NODE_TYPE | Stuff |
| BuildLabelIdentifier | GenerateImplicitCasts (Steps) | NodeBases | StuffBase |
| BuildTypeIdentifier | GenerateStacks (Steps) | NonCommutativeOperator (CPPTree) | Subroutine (CPPTree) |
|
| GetDeclaration | NonConst (CPPTree) | SwapSubscriptMultiplex (Steps) |
| Global (CPPTree) | NonGlobal (CPPTree) | Switch (CPPTree) |
| Call (CPPTree) | Globality (CPPTree) | NonVirtual (CPPTree) | SwitchCleanUp (Steps) |
| Callable (CPPTree) | Goto (CPPTree) | Nop (CPPTree) | SwitchTarget (CPPTree) |
| CallableParams (CPPTree) | GotoAfterWait (Steps) | NormalAgent | SwitchToIfGoto (Steps) |
| CallableParamsReturn (CPPTree) | Graph | NormalAgentWrapper |
|
| Case (CPPTree) | GreenGrass | NormaliseConditionalGotos (Steps) |
| Cast (CPPTree) | GreenGrassBase | Notify (SCTree) | Temporary (CPPTree) |
| HitCount::Category |
| NotifyDelta (SCTree) | TempReturnAddress |
| Cease (SCTree) | NotifyImmediate (SCTree) | TempsAndStaticsToModule (Steps) |
| Conjecture::Choice | HitCount | NotifyTimed (SCTree) | TerminationFunction (SCTree) |
| Class (CPPTree) |
| NotMatch | TerminusBase |
| CleanupCompoundExpression (Steps) | NotMatchBase | TerminusKey |
| CleanupCompoundMulti (Steps) | Identifier (CPPTree) | Number (CPPTree) | Ternop (CPPTree) |
| CleanupCompoundSingle (Steps) | IdentifierByNameBase | Numeric (CPPTree) | Thread (SCTree) |
| CleanUpDeadCode (Steps) | IdentifierTracker |
| ThreadToMethod (Steps) |
| CleanupDuplicateLabels (Steps) | If (CPPTree) | Traceable |
| CleanupIneffectualGoto (Steps) | IfToIfGoto (Steps) | Operator (CPPTree) | Tracer |
| CleanupIneffectualLabels (Steps) | Indirection (CPPTree) | OutOfPlaceTransformation | Transformation |
| CleanupNestedIf (Steps) | InferBreak (Steps) | Overlay | TransformationVector |
| CleanupNop (Steps) | InheritanceRecord (CPPTree) | OverlayBase | TransformOf |
| CleanupUnusedLabels (Steps) | Initialiser (CPPTree) |
| TransformOfBase |
| CleanupUnusedVariables (Steps) | InPlaceTransformation | TreePtr |
| ClockedThread (SCTree) | Insert | ParamsViaTemps (Steps) | True (CPPTree) |
| Cloner | InsertBase | ParentWalk_iterator | Type (CPPTree) |
| Collection | InsertInferredYield (Steps) | Parse | TypeDb |
| CombableBreak | InsertSwitch (Steps) | PlaceLabelsInArray (Steps) | Typedef (CPPTree) |
| CombableFor | Instance (CPPTree) | Pointer (CPPTree) | TypeIdentifier (CPPTree) |
| CommutativeBinop (CPPTree) | InstanceIdentifier (CPPTree) | PointerIs | TypeIdentifierByName |
| CommutativeOperator (CPPTree) | InstanceIdentifierByName | PointerIsBase | TypeInfo |
| CompactGotos (Steps) | Integer | PointIterator (OOStd) | TypeOf |
| CompareReplace | Integer (CPPTree) | Private (CPPTree) | TypeOperator (CPPTree) |
| Compound (CPPTree) | Integral (CPPTree) | Procedure (CPPTree) |
|
| CompoundExpression (CPPTree) | Interface (SCTree) | Process (SCTree) |
| Conjecture | IsLabelReached | Program (CPPTree) | Uncombable (CPPTree) |
| Const (CPPTree) | Itemiser | Property (CPPTree) | UncombableBreak |
| Constancy (CPPTree) | CONTAINER_IMPL::iterator | Protected (CPPTree) | UncombableFor |
| Constructor (CPPTree) | UniqueWalk::iterator | Public (CPPTree) | UncombableSwitch |
| ContainerCommon (OOStd) | UniqueWalkNoBody::iterator |
| Uninitialised (CPPTree) |
| ContainerFromIterator | ContainerCommon::iterator (OOStd) | Union (CPPTree) |
| ContainerInterface (OOStd) | ContainerInterface::iterator (OOStd) | RangeCase (CPPTree) | UniqueFilter |
| Continue (CPPTree) | Sequence::iterator (OOStd) | RCHold | UniqueWalk_iterator |
| CountingIterator (OOStd) | SimpleAssociativeContainer::iterator (OOStd) | ReadArgs | UniqueWalkNoBody_iterator |
| CouplingKeys | Walk::iterator | Record (CPPTree) | UniqueWalkNoBodyOrIndirection_iterator |
| CouplingSlave | ContainerInterface::iterator_interface | ReduceVoidCompoundExpression (Steps) | UniqueWalkNoSlavePattern_iterator |
|
| ContainerInterface::iterator_interface (OOStd) | Reference (CPPTree) | UniquifyIdentifiers |
|
| RemoveEmptyModuleConstructors | Unop (CPPTree) |
| Declaration (CPPTree) | RemoveVoidInstances | Unsigned (CPPTree) |
| DeclsToModule (Steps) | Key | Render | UserType (CPPTree) |
| Default (CPPTree) |
| Return (CPPTree) | UseTempForReturnValue (Steps) |
| Delete (CPPTree) | ReturnViaTemp (Steps) |
|
| DeleteArray (CPPTree) | Label (CPPTree) |
|
| DeleteArrayness (CPPTree) | Labeley (CPPTree) | Validate |
| DeleteNonArray (CPPTree) | LabelIdentifier | SCConstruct (SCTree) | vector |
| DeltaCount (SCTree) | LabelIdentifier (CPPTree) | SCNamedConstruct (SCTree) | Virtual (CPPTree) |
| deque | LabelIdentifierByName | SCNamedFunction (SCTree) | Virtuality (CPPTree) |
| Tracer::Descend | LabelTypeToEnum (Steps) | SCNamedIdentifier (SCTree) | VisibleIdentifiers |
| Destructor (CPPTree) | LabelVarsToEnum (Steps) | SCNamedRecord (SCTree) | Void (CPPTree) |
| DetectAllSCTypes (Steps) | Literal (CPPTree) | Scope (CPPTree) |
|
| DetectCombableBreak (Steps) | LocalVariable (CPPTree) | SearchContainerBase |
| DetectCombableFor (Steps) | LogicalAndToIf (Steps) | SearchReplace | Wait (SCTree) |
| DetectSCBase | LogicalOrToIf (Steps) | Sequence | WaitDelta (SCTree) |
| DetectSCDelta | Lookup (CPPTree) | Sequence (OOStd) | WaitDynamic (SCTree) |
| DetectSCDynamic | Loop (CPPTree) | SequenceInterface (OOStd) | WaitStatic (SCTree) |
| DetectSCNotifyDelta | LoopRotation (Steps) | SequentialScope (CPPTree) | Walk_iterator |
| DetectSCNotifyImmediate |
| Set | While (CPPTree) |
| DetectSCProcess | set | WhileToDo (Steps) |
| DetectSCStatic | Magic | shared_ptr | |
| | | |
1.7.6.1 
