SolverFailure (B2R2) | B2R2

SolverFailure Type

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

Represents an error encountered while communicating with an SMT solver.

Union cases

Union case	Description
`SolverCommunicationFailure message` Full Usage: `SolverCommunicationFailure message` Parameters: message : `string`	message : `string`
`SolverOutputParseFailure(message, stdout)` Full Usage: `SolverOutputParseFailure(message, stdout)` Parameters: message : `string` stdout : `string`	message : `string` stdout : `string`
`SolverReturnedUnknown` Full Usage: `SolverReturnedUnknown`
`SolverSerializationFailure message` Full Usage: `SolverSerializationFailure message` Parameters: message : `string`	message : `string`

Instance members

Instance member	Description
`this.IsSolverCommunicationFailure` Full Usage: `this.IsSolverCommunicationFailure` Returns: `bool`	Returns: `bool`
`this.IsSolverOutputParseFailure` Full Usage: `this.IsSolverOutputParseFailure` Returns: `bool`	Returns: `bool`
`this.IsSolverReturnedUnknown` Full Usage: `this.IsSolverReturnedUnknown` Returns: `bool`	Returns: `bool`
`this.IsSolverSerializationFailure` Full Usage: `this.IsSolverSerializationFailure` Returns: `bool`	Returns: `bool`