TerminationStatus<'FnCtx, 'GlCtx> (B2R2)

TerminationStatus<'FnCtx, 'GlCtx> Type

Namespace: B2R2.MiddleEnd.ControlFlowAnalysis
Assembly: B2R2.MiddleEnd.ControlFlowAnalysis.dll
Base Type: obj
All Interfaces: IEquatable<TerminationStatus<'FnCtx, 'GlCtx>> , IStructuralEquatable

Union case	Description
`AllDone` Full Usage: `AllDone`	Everything is finished and there's no forcefully terminated builders.
`ForceTerminated ICFGBuildable<'FnCtx, 'GlCtx>[]` Full Usage: `ForceTerminated ICFGBuildable<'FnCtx, 'GlCtx>[]` Parameters: Item : `ICFGBuildable<'FnCtx, 'GlCtx>[]`	Everything is finished, but there are some builders that are forcefully terminated, which need to be reanalyzed. Item : `ICFGBuildable<'FnCtx, 'GlCtx>[]`
`YetDone` Full Usage: `YetDone`	Not all builders are finished.

Instance member	Description
`this.IsAllDone` Full Usage: `this.IsAllDone` Returns: `bool`	Returns: `bool`
`this.IsForceTerminated` Full Usage: `this.IsForceTerminated` Returns: `bool`	Returns: `bool`
`this.IsYetDone` Full Usage: `this.IsYetDone` Returns: `bool`	Returns: `bool`