pub struct Sort<'ctx> { /* private fields */ }
Implementations
sourceimpl<'ctx> Sort<'ctx>
impl<'ctx> Sort<'ctx>
pub fn uninterpretd(ctx: &'ctx Context, sym: &Symbol<'ctx>) -> Sort<'ctx>
pub fn bool(ctx: &Context) -> Sort<'_>
pub fn int(ctx: &Context) -> Sort<'_>
pub fn real(ctx: &Context) -> Sort<'_>
pub fn bitvector(ctx: &Context, sz: u32) -> Sort<'_>
pub fn array(
ctx: &'ctx Context,
domain: &Sort<'ctx>,
range: &Sort<'ctx>
) -> Sort<'ctx>
pub fn set(ctx: &'ctx Context, elt: &Sort<'ctx>) -> Sort<'ctx>
Trait Implementations
impl<'ctx> Eq for Sort<'ctx>
Auto Trait Implementations
impl<'ctx> RefUnwindSafe for Sort<'ctx>
impl<'ctx> !Send for Sort<'ctx>
impl<'ctx> !Sync for Sort<'ctx>
impl<'ctx> Unpin for Sort<'ctx>
impl<'ctx> UnwindSafe for Sort<'ctx>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more