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 len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn contains(&self, predicate: Predicate) -> bool

pub fn num_predicates(&self) -> u32

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

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

pub fn as_slice(&self) -> &[Predicate]

pub fn clear(&mut self)

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

pub fn swap(&mut self, a: usize, b: usize)

pub fn pop(&mut self) -> Option<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 duplicate 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 Extend<Predicate> for PropositionalConjunction

fn extend<T: IntoIterator<Item = Predicate>>(&mut self, iter: T)

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 PropositionalConjunction

fn from(predicate: Predicate) -> Self

Converts to this type from the input type.

impl From<PropositionalConjunction> for Vec<Predicate>

fn from(conjunction: PropositionalConjunction) -> Vec<Predicate>

Converts to this type from the input type.

impl<T> From<T> for PropositionalConjunction

where T: AsRef<[Predicate]>,

fn from(slice: T) -> 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 Index<usize> for PropositionalConjunction

type Output = Predicate

The returned type after indexing.

fn index(&self, index: usize) -> &Self::Output

Performs the indexing (container[index]) operation.

impl IndexMut<usize> for PropositionalConjunction

fn index_mut(&mut self, index: usize) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.

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