Struct PowersetDomain 

pub struct PowersetDomain { /* private fields */ }

A powerset domain over a finite set of tags.

Implementations

impl PowersetDomain

pub fn bottom(universe_size: u8) -> Self

Create an empty set (bottom).

pub fn top(universe_size: u8) -> Self

Create the full set (top).

pub fn add(&mut self, idx: u8)

Add an element by index.

pub fn remove(&mut self, idx: u8)

Remove an element by index.

pub fn contains(&self, idx: u8) -> bool

Return whether an element is present.

pub fn join(&self, other: &PowersetDomain) -> PowersetDomain

Return the join (union).

pub fn meet(&self, other: &PowersetDomain) -> PowersetDomain

Return the meet (intersection).

pub fn count(&self) -> u32

Return the number of elements.

pub fn is_bottom(&self) -> bool

Return whether the set is empty (bottom).

pub fn is_top(&self) -> bool

Return whether the set is full (top).