Struct mm0_util::Modifiers [−][src]
pub struct Modifiers { /* fields omitted */ }
Visibility and sort modifiers for Sort statements and Declarations.
Implementations
impl Modifiers
[src]
pub const PURE: Modifiers
[src]
The pure
sort modifier, used to indicate that
term constructors can not target this sort.
pub const STRICT: Modifiers
[src]
The strict
sort modifier, used to indicate that
bound variables (in the sense of [LocalKind::is_bound
]) of this sort are not allowed.
pub const PROVABLE: Modifiers
[src]
The provable
sort modifier, used to indicate that this sort
can appear as the sort of hypotheses and conclusions of
axiom
and theorem
declarations.
pub const FREE: Modifiers
[src]
The free
sort modifier, used to indicate that
dummy variables of this sort (in def
and theorem
) are not allowed.
pub const PUB: Modifiers
[src]
The pub
visibility modifier, used on theorem
to indicate that a theorem
appears in the specification file (otherwise the theorem is only
usable in the proof file).
pub const ABSTRACT: Modifiers
[src]
The abstract
visibility modifier, used on def
to indicate that
the definition should not be supplied in the specification file.
pub const LOCAL: Modifiers
[src]
The local
visibility modifier, the opposite of pub
and used on
def
, because def
s have default public visibility. A local def
will not appear in the specification file at all.
pub const fn empty() -> Modifiers
[src]
Returns an empty set of flags
pub const fn all() -> Modifiers
[src]
Returns the set containing all flags.
pub const fn bits(&self) -> u8
[src]
Returns the raw value of the flags currently stored.
pub fn from_bits(bits: u8) -> Option<Modifiers>
[src]
Convert from underlying bit representation, unless that representation contains bits that do not correspond to a flag.
pub const fn from_bits_truncate(bits: u8) -> Modifiers
[src]
Convert from underlying bit representation, dropping any bits that do not correspond to flags.
pub const unsafe fn from_bits_unchecked(bits: u8) -> Modifiers
[src]
Convert from underlying bit representation, preserving all bits (even those not corresponding to a defined flag).
pub const fn is_empty(&self) -> bool
[src]
Returns true
if no flags are currently stored.
pub const fn is_all(&self) -> bool
[src]
Returns true
if all flags are currently set.
pub const fn intersects(&self, other: Modifiers) -> bool
[src]
Returns true
if there are flags common to both self
and other
.
pub const fn contains(&self, other: Modifiers) -> bool
[src]
Returns true
all of the flags in other
are contained within self
.
pub fn insert(&mut self, other: Modifiers)
[src]
Inserts the specified flags in-place.
pub fn remove(&mut self, other: Modifiers)
[src]
Removes the specified flags in-place.
pub fn toggle(&mut self, other: Modifiers)
[src]
Toggles the specified flags in-place.
pub fn set(&mut self, other: Modifiers, value: bool)
[src]
Inserts or removes the specified flags depending on the passed value.
impl Modifiers
[src]
pub const NONE: Modifiers
[src]
The null modifier set. Modifiers are represented as bitfields, so this is the same as 0
.
#[must_use]pub fn new(bits: u8) -> Self
[src]
Construct a Modifiers
from a byte.
#[must_use]pub fn sort_data() -> Modifiers
[src]
The set of all valid sort modifiers. One can check if a modifier set is valid for a sort
using sort_data().contains(m)
.
#[must_use]pub fn from_name(s: &[u8]) -> Modifiers
[src]
Trait Implementations
impl Binary for Modifiers
[src]
impl BitAnd<Modifiers> for Modifiers
[src]
type Output = Modifiers
The resulting type after applying the &
operator.
fn bitand(self, other: Modifiers) -> Modifiers
[src]
Returns the intersection between the two sets of flags.
impl BitAndAssign<Modifiers> for Modifiers
[src]
fn bitand_assign(&mut self, other: Modifiers)
[src]
Disables all flags disabled in the set.
impl BitOr<Modifiers> for Modifiers
[src]
type Output = Modifiers
The resulting type after applying the |
operator.
fn bitor(self, other: Modifiers) -> Modifiers
[src]
Returns the union of the two sets of flags.
impl BitOrAssign<Modifiers> for Modifiers
[src]
fn bitor_assign(&mut self, other: Modifiers)
[src]
Adds the set of flags.
impl BitXor<Modifiers> for Modifiers
[src]
type Output = Modifiers
The resulting type after applying the ^
operator.
fn bitxor(self, other: Modifiers) -> Modifiers
[src]
Returns the left flags, but with all the right flags toggled.
impl BitXorAssign<Modifiers> for Modifiers
[src]
fn bitxor_assign(&mut self, other: Modifiers)
[src]
Toggles the set of flags.
impl Clone for Modifiers
[src]
impl Copy for Modifiers
[src]
impl Debug for Modifiers
[src]
impl DeepSizeOf for Modifiers
[src]
fn deep_size_of_children(&self, _: &mut Context) -> usize
[src]
pub fn deep_size_of(&self) -> usize
[src]
pub fn deep_size_of_with(&self, context: &mut Context) -> usize
[src]
impl Display for Modifiers
[src]
impl Eq for Modifiers
[src]
impl Extend<Modifiers> for Modifiers
[src]
fn extend<T: IntoIterator<Item = Modifiers>>(&mut self, iterator: T)
[src]
pub fn extend_one(&mut self, item: A)
[src]
pub fn extend_reserve(&mut self, additional: usize)
[src]
impl FromIterator<Modifiers> for Modifiers
[src]
fn from_iter<T: IntoIterator<Item = Modifiers>>(iterator: T) -> Modifiers
[src]
impl Hash for Modifiers
[src]
fn hash<__H: Hasher>(&self, state: &mut __H)
[src]
pub fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
H: Hasher,
impl LowerHex for Modifiers
[src]
impl Not for Modifiers
[src]
type Output = Modifiers
The resulting type after applying the !
operator.
fn not(self) -> Modifiers
[src]
Returns the complement of this set of flags.
impl Octal for Modifiers
[src]
impl Ord for Modifiers
[src]
fn cmp(&self, other: &Modifiers) -> Ordering
[src]
#[must_use]pub fn max(self, other: Self) -> Self
1.21.0[src]
#[must_use]pub fn min(self, other: Self) -> Self
1.21.0[src]
#[must_use]pub fn clamp(self, min: Self, max: Self) -> Self
1.50.0[src]
impl PartialEq<Modifiers> for Modifiers
[src]
impl PartialOrd<Modifiers> for Modifiers
[src]
fn partial_cmp(&self, other: &Modifiers) -> Option<Ordering>
[src]
#[must_use]pub fn lt(&self, other: &Rhs) -> bool
1.0.0[src]
#[must_use]pub fn le(&self, other: &Rhs) -> bool
1.0.0[src]
#[must_use]pub fn gt(&self, other: &Rhs) -> bool
1.0.0[src]
#[must_use]pub fn ge(&self, other: &Rhs) -> bool
1.0.0[src]
impl StructuralEq for Modifiers
[src]
impl StructuralPartialEq for Modifiers
[src]
impl Sub<Modifiers> for Modifiers
[src]
type Output = Modifiers
The resulting type after applying the -
operator.
fn sub(self, other: Modifiers) -> Modifiers
[src]
Returns the set difference of the two sets of flags.
impl SubAssign<Modifiers> for Modifiers
[src]
fn sub_assign(&mut self, other: Modifiers)
[src]
Disables all flags enabled in the set.
impl UpperHex for Modifiers
[src]
Auto Trait Implementations
impl RefUnwindSafe for Modifiers
impl Send for Modifiers
impl Sync for Modifiers
impl Unpin for Modifiers
impl UnwindSafe for Modifiers
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Erased for T
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn clone_into(&self, target: &mut T)
[src]
impl<T> ToString for T where
T: Display + ?Sized,
[src]
T: Display + ?Sized,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,