Enum IntExpr 

pub enum IntExpr {
    Atom(u64),
    Union(Box<IntExpr>, Box<IntExpr>),
    Sum(Box<IntExpr>, Box<IntExpr>),
}

A recursive integer expression tree.

Represents a set of positive integers built from:

• Atom(n): the singleton set {n}
• Union(f, g): set union F ∪ G
• Sum(f, g): Minkowski sum {m + n : m ∈ F, n ∈ G}

Variants

Atom(u64)

Singleton set {n} for a positive integer n.

Union(Box<IntExpr>, Box<IntExpr>)

Set union: F ∪ G.

Sum(Box<IntExpr>, Box<IntExpr>)

Minkowski sum: {m + n : m ∈ F, n ∈ G}.

Implementations

impl IntExpr

pub fn all_atoms_positive(&self) -> bool

Returns true if all atoms in the expression are positive (> 0).

pub fn size(&self) -> usize

Count the total number of nodes in the expression tree.

pub fn count_union_nodes(&self) -> usize

Count the number of Union nodes in the expression tree.

pub fn count_atoms(&self) -> usize

Count the number of Atom nodes in the expression tree.

pub fn depth(&self) -> usize

Compute the depth of the expression tree (0 for a single Atom).

Trait Implementations

impl Clone for IntExpr

fn clone(&self) -> IntExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IntExpr

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for IntExpr

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for IntExpr

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for IntExpr

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for IntExpr

impl StructuralPartialEq for IntExpr