Struct ExpressionConstraintOptions 

pub struct ExpressionConstraintOptions {
    pub rational_exponents: bool,
    pub rational_trig_args: bool,
    pub max_trig_cycles: Option<u32>,
    pub user_constant_types: [NumType; 16],
    pub user_function_types: [NumType; 16],
}

Options for additional expression constraints

These constraints allow filtering expressions based on their numeric properties or structural limits (like trig cycles or exponent types).

Fields

rational_exponents: bool

If true, power exponents must be rational (no transcendental exponents like x^pi)

rational_trig_args: bool

If true, trigonometric function arguments must be rational

max_trig_cycles: Option<u32>

Maximum number of trigonometric operations allowed in an expression

user_constant_types: [NumType; 16]

Inherited numeric types for user-defined constants 0-15

user_function_types: [NumType; 16]

Inherited numeric types for user-defined functions 0-15

Trait Implementations

impl Clone for ExpressionConstraintOptions

fn clone(&self) -> ExpressionConstraintOptions

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExpressionConstraintOptions

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

Formats the value using the given formatter.

impl Default for ExpressionConstraintOptions

fn default() -> Self

Returns the “default value” for a type.

impl Copy for ExpressionConstraintOptions