Header menu logo B2R2

SolverOutput Type

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

Represents a parsed solver response.

Record fields

Record Field Description

Status

Full Usage: Status

Field type: SolverStatus
Field type: SolverStatus

Values

Full Usage: Values

Field type: SolverValue list
Field type: SolverValue list

Type something to start searching.