Struct z3::ContextHandle

pub struct ContextHandle<'ctx> { /* fields omitted */ }

Handle that can be used to interrupt a computation from another thread.

Implementations

impl<'ctx> ContextHandle<'ctx>

pub fn interrupt(&self)

Interrupt a solver performing a satisfiability test, a tactic processing a goal, or simplify functions.

Trait Implementations

impl<'ctx> Debug for ContextHandle<'ctx>

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

Formats the value using the given formatter.

impl<'ctx> PartialEq<ContextHandle<'ctx>> for ContextHandle<'ctx>

fn eq(&self, other: &ContextHandle<'ctx>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &ContextHandle<'ctx>) -> bool

This method tests for !=.

impl<'ctx> Eq for ContextHandle<'ctx>

impl<'ctx> Send for ContextHandle<'ctx>

impl<'ctx> StructuralEq for ContextHandle<'ctx>

impl<'ctx> StructuralPartialEq for ContextHandle<'ctx>

impl<'ctx> Sync for ContextHandle<'ctx>