Struct z3::ApplyResult [−][src]
pub struct ApplyResult<'ctx> { /* fields omitted */ }
Expand description
Collection of subgoals resulting from applying of a tactic to a goal.
Implementations
Trait Implementations
Auto Trait Implementations
impl<'ctx> RefUnwindSafe for ApplyResult<'ctx>
impl<'ctx> !Send for ApplyResult<'ctx>
impl<'ctx> !Sync for ApplyResult<'ctx>
impl<'ctx> Unpin for ApplyResult<'ctx>
impl<'ctx> UnwindSafe for ApplyResult<'ctx>
Blanket Implementations
Mutably borrows from an owned value. Read more