SymbSolver (B2R2)

SymbSolver Type

Represents a solver backend used by SymbExecutor.

Union case	Description
`CustomSolver solver` Full Usage: `CustomSolver solver` Parameters: solver : `ISolver`	Use a caller-provided solver implementation. solver : `ISolver`
`NoSolver` Full Usage: `NoSolver`	Do not use a solver.

Instance member	Description
`this.IsCustomSolver` Full Usage: `this.IsCustomSolver` Returns: `bool`	Returns: `bool`
`this.IsNoSolver` Full Usage: `this.IsNoSolver` Returns: `bool`	Returns: `bool`