pub enum ParamValuation {
False,
True,
Dependent,
Unknown,
}Variants§
Implementations§
Source§impl ParamValuation
impl ParamValuation
pub fn from_bool(value: bool) -> ParamValuation
pub fn from_three_valued(three_valued: ThreeValued) -> ParamValuation
pub fn try_into_bool(self) -> Option<bool>
pub fn is_unknown(&self) -> bool
pub fn is_known(&self) -> bool
pub fn can_be_true(&self) -> bool
pub fn can_be_false(&self) -> bool
pub fn upward_bitand_ordering(self, rhs: &ParamValuation) -> Ordering
pub fn upward_bitor_ordering(self, rhs: &ParamValuation) -> Ordering
Trait Implementations§
Source§impl BitAnd for ParamValuation
impl BitAnd for ParamValuation
Source§type Output = ParamValuation
type Output = ParamValuation
The resulting type after applying the
& operator.Source§fn bitand(self, rhs: ParamValuation) -> ParamValuation
fn bitand(self, rhs: ParamValuation) -> ParamValuation
Performs the
& operation. Read moreSource§impl BitOr for ParamValuation
impl BitOr for ParamValuation
Source§type Output = ParamValuation
type Output = ParamValuation
The resulting type after applying the
| operator.Source§fn bitor(self, rhs: ParamValuation) -> ParamValuation
fn bitor(self, rhs: ParamValuation) -> ParamValuation
Performs the
| operation. Read moreSource§impl BitXor for ParamValuation
impl BitXor for ParamValuation
Source§type Output = ParamValuation
type Output = ParamValuation
The resulting type after applying the
^ operator.Source§fn bitxor(self, rhs: ParamValuation) -> <ParamValuation as BitXor>::Output
fn bitxor(self, rhs: ParamValuation) -> <ParamValuation as BitXor>::Output
Performs the
^ operation. Read moreSource§impl Clone for ParamValuation
impl Clone for ParamValuation
Source§fn clone(&self) -> ParamValuation
fn clone(&self) -> ParamValuation
Returns a duplicate 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 ParamValuation
impl Debug for ParamValuation
Source§impl<'de> Deserialize<'de> for ParamValuation
impl<'de> Deserialize<'de> for ParamValuation
Source§fn deserialize<__D>(
__deserializer: __D,
) -> Result<ParamValuation, <__D as Deserializer<'de>>::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(
__deserializer: __D,
) -> Result<ParamValuation, <__D as Deserializer<'de>>::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl Display for ParamValuation
impl Display for ParamValuation
Source§impl Hash for ParamValuation
impl Hash for ParamValuation
Source§impl Not for ParamValuation
impl Not for ParamValuation
Source§type Output = ParamValuation
type Output = ParamValuation
The resulting type after applying the
! operator.Source§fn not(self) -> ParamValuation
fn not(self) -> ParamValuation
Performs the unary
! operation. Read moreSource§impl PartialEq for ParamValuation
impl PartialEq for ParamValuation
Source§impl Serialize for ParamValuation
impl Serialize for ParamValuation
Source§fn serialize<__S>(
&self,
__serializer: __S,
) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>where
__S: Serializer,
fn serialize<__S>(
&self,
__serializer: __S,
) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>where
__S: Serializer,
Serialize this value into the given Serde serializer. Read more
impl Copy for ParamValuation
impl Eq for ParamValuation
impl StructuralPartialEq for ParamValuation
Auto Trait Implementations§
impl Freeze for ParamValuation
impl RefUnwindSafe for ParamValuation
impl Send for ParamValuation
impl Sync for ParamValuation
impl Unpin for ParamValuation
impl UnwindSafe for ParamValuation
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.