pub struct SolverMemory {
heap: Box<SolverMemoryInner>,
}
Expand description
Temporary memory used by the Equi-X solver
This space is needed temporarily during a solver run. It will be
allocated on the heap by SolverMemory::new()
, and the solver
provides a crate::EquiX::solve_with_memory()
interface for reusing
this memory between runs.
Fields§
§heap: Box<SolverMemoryInner>
Inner heap allocation which holds the actual solver memory
Implementations§
Trait Implementations§
Auto Trait Implementations§
impl Freeze for SolverMemory
impl RefUnwindSafe for SolverMemory
impl Send for SolverMemory
impl Sync for SolverMemory
impl Unpin for SolverMemory
impl UnwindSafe for SolverMemory
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