Struct tract_core::analyser::rules::IntProxy

pub struct IntProxy { /* fields omitted */ }

A proxy for any integer-like value.

Methods

impl IntProxy

pub fn new(path: Path) -> Self

Constructs a new IntProxy.

Trait Implementations

impl<'a> IntoExp<GenericFact<i32>> for &'a IntProxy

fn bex(self) -> Exp<IntFact>

Converts the value to an Expression.

impl Proxy for IntProxy

fn get_path(&self) -> &Path

Returns the symbolic path to the value.

impl<'a> Proxy for &'a IntProxy

fn get_path(&self) -> &Path

Returns the symbolic path to the value.

impl ComparableProxy for IntProxy

type Output = IntFact

impl<'a> ComparableProxy for &'a IntProxy

type Output = IntFact

impl Debug for IntProxy

fn fmt(&self, formatter: &mut Formatter) -> Result

Formats the value using the given formatter.