SolverStatus (B2R2)

SolverStatus Type

Namespace: B2R2.MiddleEnd.SymbEval
Assembly: B2R2.MiddleEnd.SymbEval.dll
Base Type: obj
All Interfaces: IEquatable<SolverStatus> , IStructuralEquatable , IComparable<SolverStatus> , IComparable , IStructuralComparable

Represents the result of a solver satisfiability query.

Instance member	Description
`this.IsSat` Full Usage: `this.IsSat` Returns: `bool`	Returns: `bool`
`this.IsUnknown` Full Usage: `this.IsUnknown` Returns: `bool`	Returns: `bool`
`this.IsUnsat` Full Usage: `this.IsUnsat` Returns: `bool`	Returns: `bool`