Struct tract_pulse::internal::tract_core::prelude::SymbolScope

pub struct SymbolScope(/* private fields */);

Implementations

impl SymbolScope

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 resolving<R>(&self, sym: &Symbol, f: impl FnOnce(&str) -> R) -> Option<R>

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

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

pub fn prove_positive(&self, t: &TDim) -> bool

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

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

Trait Implementations

impl Clone for SymbolScope

fn clone(&self) -> SymbolScope

Returns a copy 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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for SymbolScope