pub struct RunnerState<'prog, 'io> { /* private fields */ }Implementations§
Source§impl<'prog, 'io> RunnerState<'prog, 'io>
impl<'prog, 'io> RunnerState<'prog, 'io>
pub fn new( prog: &'prog Program, pipe: &'io mut PipeIO, solver: Solver, heuristic: Heuristic, debug_mode: bool, ) -> RunnerState<'prog, 'io>
pub fn config_set_param(&mut self, param: &QueryParam)
pub fn run_dfs_with_depth( &mut self, pred: Ident, depth_start: usize, depth_end: usize, )
pub fn run_iddfs_loop(&mut self, entry: Ident) -> usize
Auto Trait Implementations§
impl<'prog, 'io> Freeze for RunnerState<'prog, 'io>
impl<'prog, 'io> !RefUnwindSafe for RunnerState<'prog, 'io>
impl<'prog, 'io> !Send for RunnerState<'prog, 'io>
impl<'prog, 'io> !Sync for RunnerState<'prog, 'io>
impl<'prog, 'io> Unpin for RunnerState<'prog, 'io>
impl<'prog, 'io> UnsafeUnpin for RunnerState<'prog, 'io>
impl<'prog, 'io> !UnwindSafe for RunnerState<'prog, 'io>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more