Enum conjure_oxide::ast::Domain

pub enum Domain {
    BoolDomain,
    IntDomain(Vec<Range<i32>>),
}

Variants

BoolDomain

IntDomain(Vec<Range<i32>>)

Implementations

impl Domain

pub fn values_i32(&self) -> Option<Vec<i32>>

Return a list of all possible i32 values in the domain if it is an IntDomain.

pub fn apply_i32( &self, op: fn(_: i32, _: i32) -> Option<i32>, other: &Domain, ) -> Option<Domain>

Return an unoptimised domain that is the result of applying a binary i32 operation to two domains.

The given operator may return None if the operation is not defined for its arguments. Undefined values will not be included in the resulting domain.

Returns None if the domains are not valid for i32 operations.

Trait Implementations

impl Clone for Domain

fn clone(&self) -> Domain

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Domain

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Domain

fn deserialize<__D>( __deserializer: __D, ) -> Result<Domain, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Domain

fn eq(&self, other: &Domain) -> 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 Domain

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Domain

impl StructuralPartialEq for Domain