SymbEvalSuccessor (B2R2)

SymbEvalSuccessor Type

Represents the successor relation produced by symbolic evaluation.

Union case	Description
`Continue SymbState` Full Usage: `Continue SymbState` Parameters: Item : `SymbState`	Evaluation can continue from the given state. Item : `SymbState`
`EvalError SymbEvalError` Full Usage: `EvalError SymbEvalError` Parameters: Item : `SymbEvalError`	Evaluation failed. Item : `SymbEvalError`
`Fork(trueState, falseState)` Full Usage: `Fork(trueState, falseState)` Parameters: trueState : `SymbState` falseState : `SymbState`	Evaluation forked on a symbolic condition. trueState : `SymbState` falseState : `SymbState`
`Stopped(SymbState, SymbEvalStopReason)` Full Usage: `Stopped(SymbState, SymbEvalStopReason)` Parameters: Item1 : `SymbState` Item2 : `SymbEvalStopReason`	Evaluation stopped before completing the current run. Item1 : `SymbState` Item2 : `SymbEvalStopReason`

Instance member	Description
`this.IsContinue` Full Usage: `this.IsContinue` Returns: `bool`	Returns: `bool`
`this.IsEvalError` Full Usage: `this.IsEvalError` Returns: `bool`	Returns: `bool`
`this.IsFork` Full Usage: `this.IsFork` Returns: `bool`	Returns: `bool`
`this.IsStopped` Full Usage: `this.IsStopped` Returns: `bool`	Returns: `bool`