Trait minisat::ModelEq

pub trait ModelEq {
    fn assert_equal_or(
        solver: &mut Solver, 
        prefix: Vec<Bool>, 
        a: &Self, 
        b: &Self
    );
    fn assert_not_equal_or(
        solver: &mut Solver, 
        prefix: Vec<Bool>, 
        a: &Self, 
        b: &Self
    );

    fn is_equal(solver: &mut Solver, a: &Self, b: &Self) -> Bool { ... }
}

Object that can be compared and constrainted for equality.

Required methods

fn assert_equal_or(solver: &mut Solver, prefix: Vec<Bool>, a: &Self, b: &Self)

fn assert_not_equal_or(
    solver: &mut Solver,
    prefix: Vec<Bool>,
    a: &Self,
    b: &Self
)

Loading content...

Provided methods

fn is_equal(solver: &mut Solver, a: &Self, b: &Self) -> Bool

Loading content...

Implementors

impl ModelEq for Bool

fn assert_equal_or(solver: &mut Solver, prefix: Vec<Bool>, a: &Bool, b: &Bool)

fn assert_not_equal_or(
    solver: &mut Solver,
    prefix: Vec<Bool>,
    a: &Bool,
    b: &Bool
)

fn is_equal(solver: &mut Solver, a: &Bool, b: &Bool) -> Bool

impl ModelEq for Binary

fn assert_equal_or(
    solver: &mut Solver,
    prefix: Vec<Bool>,
    a: &Binary,
    b: &Binary
)

fn assert_not_equal_or(
    solver: &mut Solver,
    prefix: Vec<Bool>,
    a: &Binary,
    b: &Binary
)

impl ModelEq for Unary

fn assert_equal_or(solver: &mut Solver, prefix: Vec<Bool>, a: &Unary, b: &Unary)

fn assert_not_equal_or(
    solver: &mut Solver,
    prefix: Vec<Bool>,
    a: &Unary,
    b: &Unary
)

impl<V: Ord> ModelEq for Symbolic<V>

fn assert_equal_or(
    solver: &mut Solver,
    prefix: Vec<Bool>,
    a: &Symbolic<V>,
    b: &Symbolic<V>
)

fn assert_not_equal_or(
    solver: &mut Solver,
    prefix: Vec<Bool>,
    a: &Symbolic<V>,
    b: &Symbolic<V>
)

Loading content...