Struct Set

pub struct Set(/* private fields */);

Implementations

impl Set

pub fn new( context: &Context, num_dims: isize, num_syms: isize, constraints: &[Expr], flags: &[bool], ) -> Self

pub fn new_empty(context: &Context, num_dims: isize, num_syms: isize) -> Self

pub fn as_attribute(&self) -> Attribute

pub fn dump(&self)

pub fn get(&self) -> &MlirIntegerSet

pub fn get_constraint(&self, pos: usize) -> Expr

pub fn get_context(&self) -> Context

pub fn get_mut(&mut self) -> &mut MlirIntegerSet

pub fn is_equality_constraint(&self, pos: usize) -> bool

pub fn is_empty_set(&self) -> bool

pub fn is_null(&self) -> bool

pub fn num_constraints(&self) -> isize

pub fn num_dims(&self) -> isize

pub fn num_equalities(&self) -> isize

pub fn num_inequalities(&self) -> isize

pub fn num_inputs(&self) -> isize

pub fn num_symbols(&self) -> isize

pub fn print(&self, state: &mut StringCallbackState)

pub fn replace_dimensions_and_symbols( &mut self, dims: &[Dim], syms: &[Symbol], ) -> Self

Trait Implementations

impl Clone for Set

fn clone(&self) -> Set

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Display for Set

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

Formats the value using the given formatter.

impl From<MlirIntegerSet> for Set

fn from(set: MlirIntegerSet) -> Self

Converts to this type from the input type.

impl PartialEq for Set

fn eq(&self, rhs: &Self) -> 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 Copy for Set