Struct biodivine_lib_bdd::BddVariable [−][src]
pub struct BddVariable(_);
Expand description
Identifies one of the variables that can appear as a decision condition in the Bdd
.
Trait Implementations
Allow indexing of BddValuation
using BddVariables
.
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
This method returns an ordering between self
and other
values if one exists. Read more
This method tests less than (for self
and other
) and is used by the <
operator. Read more
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
Auto Trait Implementations
impl RefUnwindSafe for BddVariable
impl Send for BddVariable
impl Sync for BddVariable
impl Unpin for BddVariable
impl UnwindSafe for BddVariable
Blanket Implementations
Mutably borrows from an owned value. Read more