SymbSatisfiabilityAnswer (B2R2) | B2R2

SymbSatisfiabilityAnswer Type

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

Represents one concrete-input answer to a satisfiability query.

Record fields

Record Field	Description
`State` Full Usage: `State` Field type: `SymbState`	State at the target address. Field type: `SymbState`
`Target` Full Usage: `Target` Field type: `Addr`	Target address reached by this answer. Field type: `Addr`
`Values` Full Usage: `Values` Field type: `SolverValue list`	Concrete assignments for requested symbolic values. Field type: `SolverValue list`

Instance members

Instance member	Description
`this.Model` Full Usage: `this.Model` Returns: `SymbModel`	Concrete solver model for this satisfiability answer. Returns: `SymbModel`