Struct Predicate 

pub struct Predicate { /* private fields */ }

Representation of a domain operation, also known as an atomic constraint. It is a triple (DomainId, PredicateType, value).

To create a Predicate, use Predicate::new or the more concise predicate! macro.

Implementations

impl Predicate

pub fn new(id: DomainId, predicate_type: PredicateType, value: i32) -> Predicate

Creates a new Predicate (also known as atomic constraint) which represents a domain operation.

pub fn get_predicate_type(&self) -> PredicateType

impl Predicate

pub fn is_equality_predicate(&self) -> bool

pub fn is_lower_bound_predicate(&self) -> bool

pub fn is_upper_bound_predicate(&self) -> bool

pub fn is_not_equal_predicate(&self) -> bool

pub fn get_domain(&self) -> DomainId

Returns the DomainId of the Predicate

pub fn get_right_hand_side(&self) -> i32

pub fn trivially_true() -> Predicate

pub fn trivially_false() -> Predicate

Trait Implementations

impl Clone for Predicate

fn clone(&self) -> Predicate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Predicate

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

Formats the value using the given formatter.

impl Display for Predicate

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

Formats the value using the given formatter.

impl Extend<Predicate> for PropositionalConjunction

fn extend<T>(&mut self, iter: T)

where T: IntoIterator<Item = Predicate>,

Extends a collection with the contents of an iterator.

fn extend_one(&mut self, item: A)

🔬This is a nightly-only experimental API. (extend_one)

Extends a collection with exactly one element.

fn extend_reserve(&mut self, additional: usize)

🔬This is a nightly-only experimental API. (extend_one)

Reserves capacity in a collection for the given number of additional elements.

impl From<Predicate> for PredicateType

fn from(value: Predicate) -> PredicateType

Converts to this type from the input type.

impl From<Predicate> for PropositionalConjunction

fn from(predicate: Predicate) -> PropositionalConjunction

Converts to this type from the input type.

impl FromIterator<Predicate> for PropositionalConjunction

fn from_iter<T>(iter: T) -> PropositionalConjunction

where T: IntoIterator<Item = Predicate>,

Creates a value from an iterator.

impl Hash for Predicate

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Not for Predicate

type Output = Predicate

The resulting type after applying the ! operator.

fn not(self) -> <Predicate as Not>::Output

Performs the unary ! operation.

impl PartialEq for Predicate

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Predicate

impl Eq for Predicate

impl StructuralPartialEq for Predicate