Enum puan_pv::Proposition
source · pub enum Proposition {
AtLeast(AtLeast),
AtMost(AtMost),
Variable(Variable),
And(And),
Or(Or),
Xor(Xor),
XNor(XNor),
Implies(Implies),
}
Variants§
AtLeast(AtLeast)
AtMost(AtMost)
Variable(Variable)
And(And)
Or(Or)
Xor(Xor)
XNor(XNor)
Implies(Implies)
Trait Implementations§
source§impl Debug for Proposition
impl Debug for Proposition
source§impl<'de> Deserialize<'de> for Proposition
impl<'de> Deserialize<'de> for Proposition
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
source§impl PropT for Proposition
impl PropT for Proposition
Auto Trait Implementations§
impl RefUnwindSafe for Proposition
impl !Send for Proposition
impl !Sync for Proposition
impl Unpin for Proposition
impl UnwindSafe for Proposition
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