Enum AnyExpr 

pub enum AnyExpr {
    Num(Ex),
    Bool(BoolEx),
    Set(SetEx),
}

An expression of any sort, read from its root node: what Context::from_json_any returns for a serialized tree whose sort is not known in advance.

use symplex::prelude::*;

let ctx = Context::new();
let x = ctx.symbol("x");
let json = x.gt(&ctx.int(1)).to_json()?;
match ctx.from_json_any(&json)? {
    AnyExpr::Bool(b) => assert_eq!(format!("{b}"), "x > 1"),
    other => panic!("expected a relation, got {other:?}"),
}

Variants

Num(Ex)

A numeric expression.

Bool(BoolEx)

A boolean expression: a relation, And, Or, Not, True or False.

Set(SetEx)

A set: an interval, a finite set, a union, an intersection, a complement, an image set or a condition set.

Trait Implementations

impl Clone for AnyExpr

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AnyExpr

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

Formats the value using the given formatter.

impl Eq for AnyExpr

impl Hash for AnyExpr

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for AnyExpr

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for AnyExpr