Interface CfgInformationSearchContent

interface CfgInformationSearchContent {
    cfg: ControlFlowInformation;
    reachableNodes?: Set<NodeId>;
    [key: string]: unknown;
}

Hierarchy (View Summary)

Indexable

  • [key: string]: unknown

Hierarchy-Diagram

UML class diagram of CfgInformationSearchContent

Properties

cfg reachableNodes?

Properties

cfg

cfg: ControlFlowInformation

The CFG attached to the search, extracted using extractCfg.

OptionalreachableNodes

reachableNodes?: Set<NodeId>

The set of all nodes that are reachable from the root of the CFG, extracted using visitCfgInOrder. Only has a value if CfgInformationArguments.checkReachable was true.

Settings

Member Visibility

On This Page

Properties