pub enum CacheType {
Trie,
Cover,
}Expand description
The cache of the subproblems.
Variants§
Trie
A trie keyed by the path of tests (Trie).
Cover
A hash map keyed by the depth and the instances (CoverMap).
Implementations§
Trait Implementations§
impl Copy for CacheType
Auto Trait Implementations§
impl Freeze for CacheType
impl RefUnwindSafe for CacheType
impl Send for CacheType
impl Sync for CacheType
impl Unpin for CacheType
impl UnsafeUnpin for CacheType
impl UnwindSafe for CacheType
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