Trait minisat::ModelOrd

pub trait ModelOrd {
    fn assert_less_or(
        solver: &mut Solver, 
        prefix: Vec<Bool>, 
        inclusive: bool, 
        a: &Self, 
        b: &Self
    ) { ... }
    fn new_less_lit(
        solver: &mut Solver, 
        inclusive: bool, 
        a: &Self, 
        b: &Self
    ) -> Bool { ... }
    fn assert_less_tuple_or<B: ModelOrd>(
        solver: &mut Solver, 
        prefix: Vec<Bool>, 
        inclusive: bool, 
        x_p: (&Self, &B), 
        y_q: (&Self, &B)
    ) { ... }
}

Object that can be compared and constrained by ordering.

Provided methods

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

fn new_less_lit(
    solver: &mut Solver,
    inclusive: bool,
    a: &Self,
    b: &Self
) -> Bool

fn assert_less_tuple_or<B: ModelOrd>(
    solver: &mut Solver,
    prefix: Vec<Bool>,
    inclusive: bool,
    x_p: (&Self, &B),
    y_q: (&Self, &B)
)

Loading content...

Implementations on Foreign Types

impl ModelOrd for ()

fn assert_less_or(
    solver: &mut Solver,
    prefix: Vec<Bool>,
    inclusive: bool,
    _a: &(),
    _b: &()
)

fn new_less_lit(_: &mut Solver, inclusive: bool, _a: &(), _b: &()) -> Bool

fn assert_less_tuple_or<B: ModelOrd>(
    solver: &mut Solver,
    prefix: Vec<Bool>,
    inclusive: bool,
    (_, p): (&(), &B),
    (_, q): (&(), &B)
)

impl<'a> ModelOrd for &'a [Bool]

fn assert_less_or(
    solver: &mut Solver,
    prefix: Vec<Bool>,
    inclusive: bool,
    a: &&[Bool],
    b: &&[Bool]
)

Loading content...

Implementors

impl ModelOrd for Bool

fn assert_less_tuple_or<B: ModelOrd>(
    solver: &mut Solver,
    prefix: Vec<Bool>,
    inclusive: bool,
    (x, p): (&Bool, &B),
    (y, q): (&Bool, &B)
)

fn new_less_lit(
    solver: &mut Solver,
    inclusive: bool,
    a: &Bool,
    b: &Bool
) -> Bool

impl ModelOrd for Binary

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

impl ModelOrd for Unary

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

Loading content...