pub struct AtMost {
pub value: i64,
pub variables: Vec<Rc<Proposition>>,
}
Fields§
§value: i64
§variables: Vec<Rc<Proposition>>
Trait Implementations§
source§impl<'de> Deserialize<'de> for AtMost
impl<'de> Deserialize<'de> for AtMost
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
Auto Trait Implementations§
impl RefUnwindSafe for AtMost
impl !Send for AtMost
impl !Sync for AtMost
impl Unpin for AtMost
impl UnwindSafe for AtMost
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