Struct PropositionalConjunction

pub struct PropositionalConjunction { /* private fields */ }

A struct which represents a conjunction of Predicates (e.g. it can represent [x >= 5] /\ [y <= 10]).

Implementations

impl PropositionalConjunction

pub fn new(predicates_in_conjunction: Vec<Predicate>) -> Self

pub fn num_predicates(&self) -> u32

pub fn add(&mut self, predicate: Predicate)

pub fn iter(&self) -> impl Iterator<Item = &Predicate> + '_

pub fn extend_and_remove_duplicates( self, additional_elements: impl Iterator<Item = Predicate>, ) -> PropositionalConjunction

Trait Implementations

impl Clone for PropositionalConjunction

fn clone(&self) -> PropositionalConjunction

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PropositionalConjunction

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

Formats the value using the given formatter.

impl Default for PropositionalConjunction

fn default() -> PropositionalConjunction

Returns the “default value” for a type.

impl Display for PropositionalConjunction

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

Formats the value using the given formatter.

impl From<Predicate> for PropositionalConjunction

fn from(predicate: Predicate) -> Self

Converts to this type from the input type.

impl From<Vec<Predicate>> for PropositionalConjunction

fn from(vec: Vec<Predicate>) -> Self

Converts to this type from the input type.

impl FromIterator<Predicate> for PropositionalConjunction

fn from_iter<T: IntoIterator<Item = Predicate>>(iter: T) -> Self

Creates a value from an iterator.

impl IntoIterator for PropositionalConjunction

type Item = Predicate

The type of the elements being iterated over.

type IntoIter = IntoIter<<PropositionalConjunction as IntoIterator>::Item>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl PartialEq for PropositionalConjunction

fn eq(&self, other: &Self) -> 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 Eq for PropositionalConjunction