Struct EngineWitnessBinding 

pub struct EngineWitnessBinding {
    pub variable: String,
    pub term: LogicalTerm,
}

A single witness binding: variable name → logical term value.

Fields

variable: String

term: LogicalTerm

Trait Implementations

impl Clone for WitnessBinding

fn clone(&self) -> WitnessBinding

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for WitnessBinding

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl PartialEq for WitnessBinding

fn eq(&self, other: &WitnessBinding) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for WitnessBinding