Struct InjectivityChecker 

pub struct InjectivityChecker { /* private fields */ }

Structural injectivity analysis: can a constructor be distinguished by its arguments?

Implementations

impl InjectivityChecker

pub fn new() -> Self

Create an empty checker.

pub fn mark_injective(&mut self, ctor: &str)

Mark a constructor as injective.

pub fn is_injective(&self, ctor: &str) -> bool

Return whether a constructor is known to be injective.

pub fn injective_ctors(&self) -> &[String]

Return all injective constructors.

pub fn count(&self) -> usize

Return the number of known injective constructors.

Trait Implementations

impl Default for InjectivityChecker

fn default() -> Self

Returns the “default value” for a type.