Struct TestAtomic 

pub struct TestAtomic {
    pub name: &'static str,
    pub comparison: Comparison,
    pub value: i32,
}

A simple implementation of an AtomicConstraint.

Fields

name: &'static str

comparison: Comparison

value: i32

Trait Implementations

impl AtomicConstraint for TestAtomic

type Identifier = &'static str

The type of identifier used for variables.

fn identifier(&self) -> Self::Identifier

The identifier of this atomic constraint.

fn comparison(&self) -> Comparison

The Comparison used for this atomic constraint.

fn value(&self) -> i32

The value on the right-hand side of this atomic constraint.

fn negate(&self) -> Self

The strongest atomic constraint that is mutually exclusive with self.

impl CheckerVariable<TestAtomic> for &'static str

fn does_atomic_constrain_self(&self, atomic: &TestAtomic) -> bool

Tests whether the given atomic is a statement over the variable self.

fn atomic_less_than(&self, value: i32) -> TestAtomic

Get the atomic constraint [self <= value].

fn atomic_greater_than(&self, value: i32) -> TestAtomic

Get the atomic constraint [self <= value].

fn atomic_equal(&self, value: i32) -> TestAtomic

Get the atomic constraint [self == value].

fn atomic_not_equal(&self, value: i32) -> TestAtomic

Get the atomic constraint [self != value].

fn induced_lower_bound( &self, variable_state: &VariableState<TestAtomic>, ) -> IntExt

Get the lower bound of the domain.

fn induced_upper_bound( &self, variable_state: &VariableState<TestAtomic>, ) -> IntExt

Get the upper bound of the domain.

fn induced_fixed_value( &self, variable_state: &VariableState<TestAtomic>, ) -> Option<i32>

Get the value the variable is fixed to, if the variable is fixed.

fn induced_domain_contains( &self, variable_state: &VariableState<TestAtomic>, value: i32, ) -> bool

Returns whether the value is in the domain.

fn induced_holes<'this, 'state>( &'this self, variable_state: &'state VariableState<TestAtomic>, ) -> impl Iterator<Item = i32> + 'state

where 'this: 'state,

Get the holes in the domain.

fn iter_induced_domain<'this, 'state>( &'this self, variable_state: &'state VariableState<TestAtomic>, ) -> Option<impl Iterator<Item = i32> + 'state>

where 'this: 'state,

Iterate the domain of the variable.

impl Clone for TestAtomic

fn clone(&self) -> TestAtomic

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for TestAtomic

impl Debug for TestAtomic

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

Formats the value using the given formatter.

impl PartialEq for TestAtomic

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TestAtomic