Struct RelevanceCache
pub struct RelevanceCache { /* private fields */ }Implementations§
§impl RelevanceCache
impl RelevanceCache
pub fn new() -> RelevanceCache
pub fn num_bytes(&self) -> usize
pub fn is_non_empty(&mut self, exprs: &mut ExprSet, top_expr: ExprRef) -> bool
pub fn is_contained_in_prefixes(
&mut self,
exprs: &mut ExprSet,
deriv: &mut DerivCache,
small: ExprRef,
big: ExprRef,
max_fuel: u64,
cache_failures: bool,
) -> Result<bool, Error>
pub fn is_contained_in_prefixes( &mut self, exprs: &mut ExprSet, deriv: &mut DerivCache, small: ExprRef, big: ExprRef, max_fuel: u64, cache_failures: bool, ) -> Result<bool, Error>
Check if small is contained in big with a limit on the number of steps.
If cache_failures is true, then the result of the check is cached,
as false in case of error (so future checks will return false not error,
even if max_fuel is increased).
pub fn is_non_empty_limited( &mut self, exprs: &mut ExprSet, top_expr: ExprRef, max_fuel: u64, ) -> Result<bool, Error>
Trait Implementations§
§impl Clone for RelevanceCache
impl Clone for RelevanceCache
§fn clone(&self) -> RelevanceCache
fn clone(&self) -> RelevanceCache
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read more§impl Default for RelevanceCache
impl Default for RelevanceCache
§fn default() -> RelevanceCache
fn default() -> RelevanceCache
Returns the “default value” for a type. Read more
Auto Trait Implementations§
impl Freeze for RelevanceCache
impl RefUnwindSafe for RelevanceCache
impl Send for RelevanceCache
impl Sync for RelevanceCache
impl Unpin for RelevanceCache
impl UnwindSafe for RelevanceCache
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<T> Downcast for Twhere
T: AsAny + ?Sized,
impl<T> Downcast for Twhere
T: AsAny + ?Sized,
§fn downcast_ref<T>(&self) -> Option<&T>where
T: AsAny,
fn downcast_ref<T>(&self) -> Option<&T>where
T: AsAny,
Forward to the method defined on the type
Any.§fn downcast_mut<T>(&mut self) -> Option<&mut T>where
T: AsAny,
fn downcast_mut<T>(&mut self) -> Option<&mut T>where
T: AsAny,
Forward to the method defined on the type
Any.§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
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§impl<F, T> IntoSample<T> for Fwhere
T: FromSample<F>,
impl<F, T> IntoSample<T> for Fwhere
T: FromSample<F>,
fn into_sample(self) -> T
§impl<T> Pointable for T
impl<T> Pointable for T
§impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> PolicyExt for Twhere
T: ?Sized,
Source§impl<R, P> ReadPrimitive<R> for P
impl<R, P> ReadPrimitive<R> for P
Source§fn read_from_little_endian(read: &mut R) -> Result<Self, Error>
fn read_from_little_endian(read: &mut R) -> Result<Self, Error>
Read this value from the supplied reader. Same as
ReadEndian::read_from_little_endian().§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.