Struct clingo::ShowType
[−]
pub struct ShowType { /* fields omitted */ }
Bitset describing symbols in models.
Methods
impl ShowType
pub const CSP: ShowType
CSP: ShowType = ShowType{bits: clingo_show_type_clingo_show_type_csp,}
pub const SHOWN: ShowType
SHOWN: ShowType = ShowType{bits: clingo_show_type_clingo_show_type_shown,}
pub const ATOMS: ShowType
ATOMS: ShowType = ShowType{bits: clingo_show_type_clingo_show_type_atoms,}
pub const TERMS: ShowType
TERMS: ShowType = ShowType{bits: clingo_show_type_clingo_show_type_terms,}
pub const EXTRA: ShowType
EXTRA: ShowType = ShowType{bits: clingo_show_type_clingo_show_type_extra,}
pub const ALL: ShowType
ALL: ShowType = ShowType{bits: clingo_show_type_clingo_show_type_all,}
pub const COMPLEMENT: ShowType
COMPLEMENT: ShowType = ShowType{bits: clingo_show_type_clingo_show_type_complement,}
pub fn empty() -> ShowType
Returns an empty set of flags.
pub fn all() -> ShowType
Returns the set containing all flags.
pub fn bits(&self) -> u32
Returns the raw value of the flags currently stored.
pub fn from_bits(bits: u32) -> Option<ShowType>
Convert from underlying bit representation, unless that representation contains bits that do not correspond to a flag.
pub fn from_bits_truncate(bits: u32) -> ShowType
Convert from underlying bit representation, dropping any bits that do not correspond to flags.
pub fn is_empty(&self) -> bool
Returns true
if no flags are currently stored.
pub fn is_all(&self) -> bool
Returns true
if all flags are currently set.
pub fn intersects(&self, other: ShowType) -> bool
Returns true
if there are flags common to both self
and other
.
pub fn contains(&self, other: ShowType) -> bool
Returns true
all of the flags in other
are contained within self
.
pub fn insert(&mut self, other: ShowType)
Inserts the specified flags in-place.
pub fn remove(&mut self, other: ShowType)
Removes the specified flags in-place.
pub fn toggle(&mut self, other: ShowType)
Toggles the specified flags in-place.
pub fn set(&mut self, other: ShowType, value: bool)
Inserts or removes the specified flags depending on the passed value.
Trait Implementations
impl Copy for ShowType
impl PartialEq for ShowType
fn eq(&self, __arg_0: &ShowType) -> bool
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, __arg_0: &ShowType) -> bool
This method tests for !=
.
impl Eq for ShowType
impl Clone for ShowType
fn clone(&self) -> ShowType
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl PartialOrd for ShowType
fn partial_cmp(&self, __arg_0: &ShowType) -> Option<Ordering>
This method returns an ordering between self
and other
values if one exists. Read more
fn lt(&self, __arg_0: &ShowType) -> bool
This method tests less than (for self
and other
) and is used by the <
operator. Read more
fn le(&self, __arg_0: &ShowType) -> bool
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
fn gt(&self, __arg_0: &ShowType) -> bool
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
fn ge(&self, __arg_0: &ShowType) -> bool
This method tests greater than or equal to (for self
and other
) and is used by the >=
operator. Read more
impl Ord for ShowType
fn cmp(&self, __arg_0: &ShowType) -> Ordering
This method returns an Ordering
between self
and other
. Read more
fn max(self, other: Self) -> Self
1.21.0[src]
Compares and returns the maximum of two values. Read more
fn min(self, other: Self) -> Self
1.21.0[src]
Compares and returns the minimum of two values. Read more
impl Hash for ShowType
fn hash<__H: Hasher>(&self, __arg_0: &mut __H)
Feeds this value into the given [Hasher
]. Read more
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
H: Hasher,
Feeds a slice of this type into the given [Hasher
]. Read more
impl Debug for ShowType
impl Binary for ShowType
impl Octal for ShowType
impl LowerHex for ShowType
impl UpperHex for ShowType
impl BitOr for ShowType
type Output = ShowType
The resulting type after applying the |
operator.
fn bitor(self, other: ShowType) -> ShowType
Returns the union of the two sets of flags.
impl BitOrAssign for ShowType
fn bitor_assign(&mut self, other: ShowType)
Adds the set of flags.
impl BitXor for ShowType
type Output = ShowType
The resulting type after applying the ^
operator.
fn bitxor(self, other: ShowType) -> ShowType
Returns the left flags, but with all the right flags toggled.
impl BitXorAssign for ShowType
fn bitxor_assign(&mut self, other: ShowType)
Toggles the set of flags.
impl BitAnd for ShowType
type Output = ShowType
The resulting type after applying the &
operator.
fn bitand(self, other: ShowType) -> ShowType
Returns the intersection between the two sets of flags.
impl BitAndAssign for ShowType
fn bitand_assign(&mut self, other: ShowType)
Disables all flags disabled in the set.
impl Sub for ShowType
type Output = ShowType
The resulting type after applying the -
operator.
fn sub(self, other: ShowType) -> ShowType
Returns the set difference of the two sets of flags.
impl SubAssign for ShowType
fn sub_assign(&mut self, other: ShowType)
Disables all flags enabled in the set.
impl Not for ShowType
type Output = ShowType
The resulting type after applying the !
operator.
fn not(self) -> ShowType
Returns the complement of this set of flags.
impl Extend<ShowType> for ShowType
fn extend<T: IntoIterator<Item = ShowType>>(&mut self, iterator: T)
Extends a collection with the contents of an iterator. Read more
impl FromIterator<ShowType> for ShowType
fn from_iter<T: IntoIterator<Item = ShowType>>(iterator: T) -> ShowType
Creates a value from an iterator. Read more