Struct SymbolScope 

pub struct SymbolScope(pub Arc<ReentrantMutex<RawMutex, RawThreadId, RefCell<SymbolScopeData>>>);

Tuple Fields

0: Arc<ReentrantMutex<RawMutex, RawThreadId, RefCell<SymbolScopeData>>>

Implementations

impl SymbolScope

pub fn id(&self) -> usize

pub fn proof_cache_session(&self) -> ProofCacheSession

pub fn get(&self, name: &str) -> Option<Symbol>

pub fn sym(&self, name: &str) -> Symbol

pub fn new_with_prefix(&self, prefix: &str) -> Symbol

pub fn parse_tdim(&self, input: impl AsRef<str>) -> Result<TDim, Error>

pub fn add_assertion(&self, assert: impl Into<String>) -> Result<(), Error>

pub fn with_assertion( self, assert: impl Into<String>, ) -> Result<SymbolScope, Error>

pub fn all_assertions(&self) -> Vec<Assertion>

pub fn all_scenarios( &self, ) -> impl IntoIterator<Item = (String, Vec<Assertion>)>

pub fn add_scenario(&self, scenario: impl Into<String>) -> Result<(), Error>

pub fn add_scenario_assertion( &self, scenario: impl Into<String>, assertion: impl Into<String>, ) -> Result<(), Error>

pub fn with_scenario_assertion( self, scenario: impl Into<String>, assertion: impl Into<String>, ) -> Result<SymbolScope, Error>

pub fn with_scenario( self, scenario: impl Into<String>, ) -> Result<SymbolScope, Error>

pub fn all_symbols(&self) -> Vec<Symbol>

pub fn guess_scenario( &self, values: &SymbolValues, ) -> Result<Option<usize>, Error>

Trait Implementations

impl Clone for SymbolScope

fn clone(&self) -> SymbolScope

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SymbolScope

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

Formats the value using the given formatter.

impl Default for SymbolScope

fn default() -> SymbolScope

Returns the “default value” for a type.

impl PartialEq for SymbolScope

fn eq(&self, other: &SymbolScope) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for SymbolScope