Variable CfgProperties`Const`

CfgProperties: {
    "entry-reaches-all": (cfg: ControlFlowInformation) => boolean;
    "exit-reaches-all": (cfg: ControlFlowInformation) => boolean;
    "has-entry-and-exit": (cfg: ControlFlowInformation) => boolean;
    "no-direct-cd-cycles": (
        c: ControlFlowInformation<CfgSimpleVertex>,
    ) => boolean;
    "no-direct-fd-cycles": (
        c: ControlFlowInformation<CfgSimpleVertex>,
    ) => boolean;
    "single-entry-and-exit": (cfg: ControlFlowInformation) => boolean;
} = ...

The collection of properties that can be checked on a control flow graph.

Type declaration

Readonlyentry-reaches-all: (cfg: ControlFlowInformation) => boolean
Readonlyexit-reaches-all: (cfg: ControlFlowInformation) => boolean
Readonlyhas-entry-and-exit: (cfg: ControlFlowInformation) => boolean
Readonlyno-direct-cd-cycles: (c: ControlFlowInformation<CfgSimpleVertex>) => boolean
Readonlyno-direct-fd-cycles: (c: ControlFlowInformation<CfgSimpleVertex>) => boolean
Readonlysingle-entry-and-exit: (cfg: ControlFlowInformation) => boolean