pub struct Add {
pub operands: Vec<Box<dyn Expr>>,
}Fields§
§operands: Vec<Box<dyn Expr>>Implementations§
Source§impl Add
impl Add
pub fn new_box(operands: Vec<&Box<dyn Expr>>) -> Box<dyn Expr>
pub fn new_box_v2(operands: Vec<Box<dyn Expr>>) -> Box<dyn Expr>
pub fn new<'a, Ops: IntoIterator<Item = &'a dyn Expr>>(operands: Ops) -> Self
pub fn new_v2(ops: Vec<Box<dyn Expr>>) -> Self
pub fn term_coeffs(&self) -> IndexMap<Box<dyn Expr>, Rational>
Trait Implementations§
Source§impl Expr for Add
impl Expr for Add
fn known_expr(&self) -> KnownExpr<'_>
fn for_each_arg(&self, f: &mut dyn FnMut(&dyn Arg))
fn from_args(&self, args: Vec<Box<dyn Arg>>) -> Box<dyn Expr>
fn clone_box(&self) -> Box<dyn Expr>
fn str(&self) -> String
fn to_cpp(&self) -> String
fn simplify(&self) -> Box<dyn Expr>
fn simplify_with_dimension(&self, dim: usize) -> Box<dyn Expr>
fn get_ref<'a>(&'a self) -> &'a dyn Expr
fn terms<'a>(&'a self) -> Box<dyn Iterator<Item = &'a dyn Expr> + 'a>
fn as_expr(&self) -> Option<Box<dyn Expr>>
fn args(&self) -> Vec<Box<dyn Arg>>
fn args_map_exprs( &self, _f: &dyn Fn(&dyn Expr) -> Box<dyn Arg>, ) -> Vec<Box<dyn Arg>>
fn as_arg(&self) -> Box<dyn Arg>
fn as_function(&self) -> Option<&Func>
fn equals(&self, other: &dyn Expr) -> bool
fn as_symbol(&self) -> Option<Symbol>
fn as_eq(&self) -> Option<Equation>
fn as_mul(&self) -> Option<&Mul>
fn as_pow(&self) -> Option<&Pow>
fn as_f64(&self) -> Option<f64>
fn as_int(&self) -> Option<Integer>
fn pow(&self, exponent: &Box<dyn Expr>) -> Box<dyn Expr>
fn ipow(&self, exponent: isize) -> Box<dyn Expr>
fn sqrt(&self) -> Box<dyn Expr>
fn get_exponent(&self) -> (Box<dyn Expr>, Box<dyn Expr>)
fn diff(&self, var: &str, order: usize) -> Box<dyn Expr>
fn name(&self) -> String
fn subs(&self, substitutions: &[[Box<dyn Expr>; 2]]) -> Box<dyn Expr>
fn has(&self, expr: &dyn Expr) -> bool
fn has_box(&self, expr: Box<dyn Expr>) -> bool
Source§fn factor(&self, factors: &[&dyn Expr]) -> Box<dyn Expr>
fn factor(&self, factors: &[&dyn Expr]) -> Box<dyn Expr>
Factorizes an expression
For example:
factor(ax + cx + zy, [x]) -> (a + c)x + zy
fn is_one(&self) -> bool
fn is_neg_one(&self) -> bool
fn is_number(&self) -> bool
fn is_negative_number(&self) -> bool
fn is_zero(&self) -> bool
fn get_coeff(&self) -> (Rational, Box<dyn Expr>)
fn compare(&self, other: &dyn Expr) -> Option<Ordering>
fn evaluate(&self, vars: Option<HashMap<Symbol, BoxExpr>>) -> BoxExpr
Auto Trait Implementations§
impl Freeze for Add
impl !RefUnwindSafe for Add
impl Send for Add
impl Sync for Add
impl Unpin for Add
impl !UnwindSafe for Add
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<T> ExprOperations for Twhere
T: Expr,
impl<T> ExprOperations for Twhere
T: Expr,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more