Struct biodivine_lib_bdd::BddVariable
source · pub struct BddVariable(/* private fields */);
Expand description
Identifies one of the variables that can appear as a decision condition in the Bdd
.
Implementations§
source§impl BddVariable
impl BddVariable
sourcepub fn from_index(index: usize) -> BddVariable
pub fn from_index(index: usize) -> BddVariable
Create a variable from an usize
index.
Trait Implementations§
source§impl Clone for BddVariable
impl Clone for BddVariable
source§fn clone(&self) -> BddVariable
fn clone(&self) -> BddVariable
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for BddVariable
impl Debug for BddVariable
source§impl Display for BddVariable
impl Display for BddVariable
source§impl Hash for BddVariable
impl Hash for BddVariable
source§impl Index<BddVariable> for BddPartialValuation
impl Index<BddVariable> for BddPartialValuation
source§impl Index<BddVariable> for BddValuation
impl Index<BddVariable> for BddValuation
Allow indexing of BddValuation
using BddVariables
.
source§impl IndexMut<BddVariable> for BddPartialValuation
impl IndexMut<BddVariable> for BddPartialValuation
source§impl IndexMut<BddVariable> for BddValuation
impl IndexMut<BddVariable> for BddValuation
source§impl IntoBdd for BddVariable
impl IntoBdd for BddVariable
fn into_bdd(self, variables: &BddVariableSet) -> Bdd
source§impl Ord for BddVariable
impl Ord for BddVariable
source§fn cmp(&self, other: &BddVariable) -> Ordering
fn cmp(&self, other: &BddVariable) -> Ordering
1.21.0 · source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the maximum of two values. Read more
source§impl PartialEq for BddVariable
impl PartialEq for BddVariable
source§fn eq(&self, other: &BddVariable) -> bool
fn eq(&self, other: &BddVariable) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl PartialOrd for BddVariable
impl PartialOrd for BddVariable
source§fn partial_cmp(&self, other: &BddVariable) -> Option<Ordering>
fn partial_cmp(&self, other: &BddVariable) -> Option<Ordering>
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read moreimpl Copy for BddVariable
impl Eq for BddVariable
impl StructuralPartialEq for BddVariable
Auto Trait Implementations§
impl Freeze for BddVariable
impl RefUnwindSafe for BddVariable
impl Send for BddVariable
impl Sync for BddVariable
impl Unpin for BddVariable
impl UnwindSafe for BddVariable
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more