Struct AssumptionCache 

pub struct AssumptionCache { /* private fields */ }

Cache of computed assumptions, indexed by ExprId.

Lives on the Context separately from the arena to avoid lock-ordering issues.

Implementations

impl AssumptionCache

pub fn new() -> Self

Create an empty cache.

pub fn query(&mut self, arena: &Arena, id: ExprId, prop: Props) -> Option<bool>

Query a property for an expression.

If the property is already cached, returns immediately. Otherwise computes it from the expression structure and caches the result.

pub fn set_symbol_assumptions(&mut self, id: ExprId, assumptions: Assumptions)

Store user-supplied symbol assumptions in the cache.

The set is normalised with Assumptions::normalize_declared.

Panics

Panics if the declared assumptions are self-contradictory (e.g. Positive together with Negative, or Integer with Irrational). Declaring impossible facts about a symbol is a programming error, on a par with mixing expressions from two contexts.

Trait Implementations

impl Debug for AssumptionCache

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for AssumptionCache

fn default() -> AssumptionCache

Returns the “default value” for a type.