Enum Obj 

pub enum Obj {
    Atom(AtomObj),
    FnObj(FnObj),
    Number(Number),
    Add(Add),
    Sub(Sub),
    Mul(Mul),
    Div(Div),
    Mod(Mod),
    Pow(Pow),
    Abs(Abs),
    Log(Log),
    Max(Max),
    Min(Min),
    Union(Union),
    Intersect(Intersect),
    SetMinus(SetMinus),
    SetDiff(SetDiff),
    Cup(Cup),
    Cap(Cap),
    PowerSet(PowerSet),
    ListSet(ListSet),
    SetBuilder(SetBuilder),
    FnSet(FnSet),
    AnonymousFn(AnonymousFn),
    Cart(Cart),
    CartDim(CartDim),
    Proj(Proj),
    TupleDim(TupleDim),
    Tuple(Tuple),
    Count(Count),
    Sum(Sum),
    Product(Product),
    Range(Range),
    ClosedRange(ClosedRange),
    FiniteSeqSet(FiniteSeqSet),
    SeqSet(SeqSet),
    FiniteSeqListObj(FiniteSeqListObj),
    Choose(Choose),
    ObjAtIndex(ObjAtIndex),
    StandardSet(StandardSet),
    FamilyObj(FamilyObj),
    MatrixSet(MatrixSet),
    MatrixListObj(MatrixListObj),
    MatrixAdd(MatrixAdd),
    MatrixSub(MatrixSub),
    MatrixMul(MatrixMul),
    MatrixScalarMul(MatrixScalarMul),
    MatrixPow(MatrixPow),
    StructObj(StructObj),
    ObjAsStructInstanceWithFieldAccess(ObjAsStructInstanceWithFieldAccess),
}

Variants

Atom(AtomObj)

FnObj(FnObj)

Number(Number)

Add(Add)

Sub(Sub)

Mul(Mul)

Div(Div)

Mod(Mod)

Pow(Pow)

Abs(Abs)

Log(Log)

Max(Max)

Min(Min)

Union(Union)

Intersect(Intersect)

SetMinus(SetMinus)

SetDiff(SetDiff)

Cup(Cup)

Cap(Cap)

PowerSet(PowerSet)

ListSet(ListSet)

SetBuilder(SetBuilder)

FnSet(FnSet)

AnonymousFn(AnonymousFn)

Cart(Cart)

CartDim(CartDim)

Proj(Proj)

TupleDim(TupleDim)

Tuple(Tuple)

Count(Count)

Sum(Sum)

Product(Product)

Range(Range)

ClosedRange(ClosedRange)

FiniteSeqSet(FiniteSeqSet)

SeqSet(SeqSet)

FiniteSeqListObj(FiniteSeqListObj)

Choose(Choose)

ObjAtIndex(ObjAtIndex)

StandardSet(StandardSet)

FamilyObj(FamilyObj)

MatrixSet(MatrixSet)

MatrixListObj(MatrixListObj)

MatrixAdd(MatrixAdd)

MatrixSub(MatrixSub)

MatrixMul(MatrixMul)

MatrixScalarMul(MatrixScalarMul)

MatrixPow(MatrixPow)

StructObj(StructObj)

ObjAsStructInstanceWithFieldAccess(ObjAsStructInstanceWithFieldAccess)

Implementations

impl Obj

pub fn fmt_with_precedence( &self, f: &mut Formatter<'_>, parent_precedent: u8, ) -> Result

Precedence-aware display: add parens when a child binds looser than the parent (e.g. + under *). For same-precedence +/-, pass a stricter bound (2) on Sub’s sides and Add’s right so a - (b + c) and a + (b - c) do not print as the ambiguous a - b + c / a + b - c.

pub fn replace_bound_identifier(self, from: &str, to: &str) -> Obj

impl Obj

pub fn evaluate_to_normalized_decimal_number(&self) -> Option<Number>

pub fn two_objs_can_be_calculated_and_equal_by_calculation( &self, other: &Obj, ) -> bool

impl Obj

pub fn replace_with_numeric_result_if_can_be_calculated(&self) -> (Obj, bool)

impl Obj

pub fn to_latex_string(&self) -> String

Trait Implementations

impl Clone for Obj

fn clone(&self) -> Obj

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Display for Obj

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl From<Abs> for Obj

fn from(a: Abs) -> Self

Converts to this type from the input type.

impl From<Add> for Obj

fn from(a: Add) -> Self

Converts to this type from the input type.

impl From<AnonymousFn> for Obj

fn from(af: AnonymousFn) -> Self

Converts to this type from the input type.

impl From<AtomObj> for Obj

fn from(a: AtomObj) -> Self

Converts to this type from the input type.

impl From<ByInducFreeParamObj> for Obj

fn from(v: ByInducFreeParamObj) -> Self

Converts to this type from the input type.

impl From<Cap> for Obj

fn from(c: Cap) -> Self

Converts to this type from the input type.

impl From<Cart> for Obj

fn from(c: Cart) -> Self

Converts to this type from the input type.

impl From<CartDim> for Obj

fn from(c: CartDim) -> Self

Converts to this type from the input type.

impl From<Choose> for Obj

fn from(c: Choose) -> Self

Converts to this type from the input type.

impl From<ClosedRange> for Obj

fn from(r: ClosedRange) -> Self

Converts to this type from the input type.

impl From<Count> for Obj

fn from(c: Count) -> Self

Converts to this type from the input type.

impl From<Cup> for Obj

fn from(c: Cup) -> Self

Converts to this type from the input type.

impl From<DefAlgoFreeParamObj> for Obj

fn from(v: DefAlgoFreeParamObj) -> Self

Converts to this type from the input type.

impl From<DefHeaderFreeParamObj> for Obj

fn from(v: DefHeaderFreeParamObj) -> Self

Converts to this type from the input type.

impl From<DefStructFieldFreeParamObj> for Obj

fn from(v: DefStructFieldFreeParamObj) -> Self

Converts to this type from the input type.

impl From<Div> for Obj

fn from(d: Div) -> Self

Converts to this type from the input type.

impl From<ExistFreeParamObj> for Obj

fn from(v: ExistFreeParamObj) -> Self

Converts to this type from the input type.

impl From<FamilyObj> for Obj

fn from(f: FamilyObj) -> Self

Converts to this type from the input type.

impl From<FiniteSeqListObj> for Obj

fn from(v: FiniteSeqListObj) -> Self

Converts to this type from the input type.

impl From<FiniteSeqSet> for Obj

fn from(v: FiniteSeqSet) -> Self

Converts to this type from the input type.

impl From<FnObj> for Obj

fn from(f: FnObj) -> Self

Converts to this type from the input type.

impl From<FnObjHead> for Obj

fn from(h: FnObjHead) -> Self

Converts to this type from the input type.

impl From<FnSet> for Obj

fn from(fs: FnSet) -> Self

Converts to this type from the input type.

impl From<FnSetFreeParamObj> for Obj

fn from(v: FnSetFreeParamObj) -> Self

Converts to this type from the input type.

impl From<ForallFreeParamObj> for Obj

fn from(v: ForallFreeParamObj) -> Self

Converts to this type from the input type.

impl From<Identifier> for Obj

fn from(id: Identifier) -> Self

Converts to this type from the input type.

impl From<IdentifierWithMod> for Obj

fn from(m: IdentifierWithMod) -> Self

Converts to this type from the input type.

impl From<Intersect> for Obj

fn from(i: Intersect) -> Self

Converts to this type from the input type.

impl From<ListSet> for Obj

fn from(l: ListSet) -> Self

Converts to this type from the input type.

impl From<Log> for Obj

fn from(l: Log) -> Self

Converts to this type from the input type.

impl From<MatrixAdd> for Obj

fn from(m: MatrixAdd) -> Self

Converts to this type from the input type.

impl From<MatrixListObj> for Obj

fn from(v: MatrixListObj) -> Self

Converts to this type from the input type.

impl From<MatrixMul> for Obj

fn from(m: MatrixMul) -> Self

Converts to this type from the input type.

impl From<MatrixPow> for Obj

fn from(m: MatrixPow) -> Self

Converts to this type from the input type.

impl From<MatrixScalarMul> for Obj

fn from(m: MatrixScalarMul) -> Self

Converts to this type from the input type.

impl From<MatrixSet> for Obj

fn from(v: MatrixSet) -> Self

Converts to this type from the input type.

impl From<MatrixSub> for Obj

fn from(m: MatrixSub) -> Self

Converts to this type from the input type.

impl From<Max> for Obj

fn from(m: Max) -> Self

Converts to this type from the input type.

impl From<Min> for Obj

fn from(m: Min) -> Self

Converts to this type from the input type.

impl From<Mod> for Obj

fn from(m: Mod) -> Self

Converts to this type from the input type.

impl From<Mul> for Obj

fn from(m: Mul) -> Self

Converts to this type from the input type.

impl From<Number> for Obj

fn from(n: Number) -> Self

Converts to this type from the input type.

impl From<ObjAsStructInstanceWithFieldAccess> for Obj

fn from(s: ObjAsStructInstanceWithFieldAccess) -> Self

Converts to this type from the input type.

impl From<ObjAtIndex> for Obj

fn from(o: ObjAtIndex) -> Self

Converts to this type from the input type.

impl From<Pow> for Obj

fn from(p: Pow) -> Self

Converts to this type from the input type.

impl From<PowerSet> for Obj

fn from(p: PowerSet) -> Self

Converts to this type from the input type.

impl From<Product> for Obj

fn from(p: Product) -> Self

Converts to this type from the input type.

impl From<Proj> for Obj

fn from(p: Proj) -> Self

Converts to this type from the input type.

impl From<Range> for Obj

fn from(r: Range) -> Self

Converts to this type from the input type.

impl From<SeqSet> for Obj

fn from(v: SeqSet) -> Self

Converts to this type from the input type.

impl From<SetBuilder> for Obj

fn from(s: SetBuilder) -> Self

Converts to this type from the input type.

impl From<SetBuilderFreeParamObj> for Obj

fn from(v: SetBuilderFreeParamObj) -> Self

Converts to this type from the input type.

impl From<SetDiff> for Obj

fn from(s: SetDiff) -> Self

Converts to this type from the input type.

impl From<SetMinus> for Obj

fn from(s: SetMinus) -> Self

Converts to this type from the input type.

impl From<StandardSet> for Obj

fn from(s: StandardSet) -> Self

Converts to this type from the input type.

impl From<StructObj> for Obj

fn from(s: StructObj) -> Self

Converts to this type from the input type.

impl From<Sub> for Obj

fn from(s: Sub) -> Self

Converts to this type from the input type.

impl From<Sum> for Obj

fn from(s: Sum) -> Self

Converts to this type from the input type.

impl From<Tuple> for Obj

fn from(t: Tuple) -> Self

Converts to this type from the input type.

impl From<TupleDim> for Obj

fn from(t: TupleDim) -> Self

Converts to this type from the input type.

impl From<Union> for Obj

fn from(u: Union) -> Self

Converts to this type from the input type.

impl From<usize> for Obj

fn from(n: usize) -> Self

Converts to this type from the input type.