Trait yaxpeax_core::analyses::evaluators::const_evaluator::Domain

pub trait Domain {
    type Modifier;
    type Value;
    fn join(
        l: Option<Self::Value>, 
        r: Option<Self::Value>
    ) -> Option<Self::Value>;
}

Associated Types

type Modifier

arbitrary expressions that may constrain values in this domain

type Value

Required methods

fn join(l: Option<Self::Value>, r: Option<Self::Value>) -> Option<Self::Value>

Implementors

impl Domain for ConcreteDomain

type Modifier = ModifierExpression

type Value = u64

impl Domain for SymbolicDomain

type Modifier = ModifierExpression

type Value = SymbolicExpression

impl Domain for ValueSetDomain

type Modifier = ModifierExpression

type Value = Vec<ValueRange>