pub struct ExpressionOperator {
pub operator: String,
pub operands: Vec<Expression>,
}
Expand description
Defines an operator application in eFLINT.
For example:
1 + 2
Holds("Amy")
Fields§
§operator: String
The operator that we’re applying. See appendix::EFlintOperator
for a list of eFLINT operators.
operands: Vec<Expression>
The operands to give to the operator. It depends on the operator itself how many are necessary.
Trait Implementations§
Source§impl Clone for ExpressionOperator
impl Clone for ExpressionOperator
Source§fn clone(&self) -> ExpressionOperator
fn clone(&self) -> ExpressionOperator
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 ExpressionOperator
impl Debug for ExpressionOperator
Source§impl<'de> Deserialize<'de> for ExpressionOperator
impl<'de> Deserialize<'de> for ExpressionOperator
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 Freeze for ExpressionOperator
impl RefUnwindSafe for ExpressionOperator
impl Send for ExpressionOperator
impl Sync for ExpressionOperator
impl Unpin for ExpressionOperator
impl UnwindSafe for ExpressionOperator
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