SPeCS Packages Documentation

Preparing search index...

@specs-feup/coral
pipeline/analyze/regionck/InferRegionBounds
InferRegionBounds
FunctionState

Enumeration FunctionState

Defined in coral/src/pipeline/analyze/regionck/InferRegionBounds.ts:137

Index

Enumeration Members

IGNORE NOT_VISITED VISITED

Enumeration Members

IGNORE

IGNORE: "ignore"

Defined in coral/src/pipeline/analyze/regionck/InferRegionBounds.ts:140

NOT_VISITED

NOT_VISITED: "not_visited"

Defined in coral/src/pipeline/analyze/regionck/InferRegionBounds.ts:138

VISITED

VISITED: "visited"

Defined in coral/src/pipeline/analyze/regionck/InferRegionBounds.ts:139

Settings

Member Visibility

Protected
Inherited
External

Theme

On This Page

Enumeration Members

IGNORE NOT_VISITED VISITED

SPeCS Packages Documentation

Loading...

Generated using TypeDoc