Struct TruthTable 

pub struct TruthTable {
    pub variables: Vec<String>,
    pub values: Vec<Ternary>,
}

一个表达式的完整真值表结果。

Fields

variables: Vec<String>

变量名（按编号顺序）。

values: Vec<Ternary>

每组赋值的结果值。

Implementations

impl TruthTable

pub fn value_at(&self, index: usize) -> Option<Ternary>

取出指定赋值下的结果。

pub fn distinct_values(&self) -> Vec<Ternary>

结果中出现过的不同取值集合（升序）。

pub fn is_always_false(&self) -> bool

结果全为假。

pub fn is_always_true(&self) -> bool

结果全为真。

pub fn has_unknown(&self) -> bool

结果是否含未知。

Trait Implementations

impl Clone for TruthTable

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TruthTable

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

Formats the value using the given formatter.