Struct sat::Assignment [−] [src]

pub struct Assignment {
    // some fields omitted
}

An assignment of truth values to variables.

This is the output of a successful solve.

Methods

impl Assignment

fn get(&self, lit: Literal) -> bool

Get the value assigned to a literal.