Struct Bool

pub struct Bool<'st>(/* private fields */);

A Bool is a term containing a boolean. You can read more here..

Implementations

impl<'st> Bool<'st>

pub fn new(st: &'st Storage, value: bool) -> Bool<'st>

Construct a new bool.

impl<'st> Bool<'st>

pub fn sort() -> Sort<'st>

Returns the sort of bools.

pub fn implies(self, other: Bool<'st>) -> Bool<'st>

Construct the term expressing (==> self other).

The value of the returned boolean is true if:

• self is false
• or other is true

pub fn ite<T: Sorted<'st> + From<(STerm<'st>, Sort<'st>)>>( self, then: T, otherwise: T, ) -> T

Construct the term expressing (ite self then otherwise).

This is similar to the ternary condition operator, and an if statement:

• C-style notation: self ? then : otherwise
• Rust notation: if self { then } else { otherwise }

Trait Implementations

impl<'st> BitAnd<Bool<'st>> for bool

type Output = Bool<'st>

The resulting type after applying the & operator.

fn bitand(self, rhs: Bool<'st>) -> Self::Output

Performs the & operation.

impl<'st, R> BitAnd<R> for Bool<'st>

where R: IntoWithStorage<'st, Bool<'st>>,

type Output = Bool<'st>

The resulting type after applying the & operator.

fn bitand(self, rhs: R) -> Self::Output

Performs the & operation.

impl<'st, R> BitAndAssign<R> for Bool<'st>

where R: IntoWithStorage<'st, Bool<'st>>,

fn bitand_assign(&mut self, rhs: R)

Performs the &= operation.

impl<'st> BitOr<Bool<'st>> for bool

type Output = Bool<'st>

The resulting type after applying the | operator.

fn bitor(self, rhs: Bool<'st>) -> Self::Output

Performs the | operation.

impl<'st, R> BitOr<R> for Bool<'st>

where R: IntoWithStorage<'st, Bool<'st>>,

type Output = Bool<'st>

The resulting type after applying the | operator.

fn bitor(self, rhs: R) -> Self::Output

Performs the | operation.

impl<'st, R> BitOrAssign<R> for Bool<'st>

where R: IntoWithStorage<'st, Bool<'st>>,

fn bitor_assign(&mut self, rhs: R)

Performs the |= operation.

impl<'st> BitXor<Bool<'st>> for bool

type Output = Bool<'st>

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: Bool<'st>) -> Self::Output

Performs the ^ operation.

impl<'st, R> BitXor<R> for Bool<'st>

where R: IntoWithStorage<'st, Bool<'st>>,

type Output = Bool<'st>

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: R) -> Self::Output

Performs the ^ operation.

impl<'st, R> BitXorAssign<R> for Bool<'st>

where R: IntoWithStorage<'st, Bool<'st>>,

fn bitxor_assign(&mut self, rhs: R)

Performs the ^= operation.

impl<'st> Clone for Bool<'st>

fn clone(&self) -> Bool<'st>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Bool<'_>

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

Formats the value using the given formatter.

impl Display for Bool<'_>

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

Formats the value using the given formatter.

impl<'st> From<(STerm<'st>, Sort<'st>)> for Bool<'st>

fn from((t, _): (STerm<'st>, Sort<'st>)) -> Self

Converts to this type from the input type.

impl<'st> From<Bool<'st>> for Dynamic<'st>

fn from(b: Bool<'st>) -> Self

Converts to this type from the input type.

impl<'st> From<Bool<'st>> for STerm<'st>

fn from(b: Bool<'st>) -> Self

Converts to this type from the input type.

impl<'st> From<Const<'st, Bool<'st>>> for Bool<'st>

fn from(c: Const<'st, Bool<'st>>) -> Self

Converts to this type from the input type.

impl<'st> From<STerm<'st>> for Bool<'st>

fn from(t: STerm<'st>) -> Self

Converts to this type from the input type.

impl<'st> IntoWithStorage<'st, Bool<'st>> for Const<'st, Bool<'st>>

fn into_with_storage(self, _st: &'st Storage) -> Bool<'st>

Construct a STerm with the presence of Storage

impl<'st> IntoWithStorage<'st, Bool<'st>> for bool

fn into_with_storage(self, st: &'st Storage) -> Bool<'st>

Construct a STerm with the presence of Storage

impl<'st> Not for Bool<'st>

type Output = Bool<'st>

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl<'st> StaticSorted<'st> for Bool<'st>

const AST_SORT: Sort<'static>

The sort of this sort.

type Inner = Bool<'st>

The inner type of the term. This is used for Const<'st, T> where the inner type is T.

fn static_st(&self) -> &'st Storage

The storage associated with the term.

fn sort() -> Sort<'st>

The sort of this sort.

fn new_const(st: &'st Storage, name: &str) -> Const<'st, Self>

Construct a new constante of this sort.

impl<'st> Copy for Bool<'st>