Struct Theory

pub struct Theory {
    pub name: QualifiedName,
    pub definition: Rc<DiscreteDblTheory>,
}

A theory supported by doublett.

Equality of these theories is nominal; two theories are the same if and only if they have the same name.

When we add features to doublett, this will become an enum; doublett will never be parametric (e.g., we will not thread a “theory” type through a bunch of structs in doublett).

Fields

name: QualifiedName

The name of the theory.

definition: Rc<DiscreteDblTheory>

The definition of the theory.

Implementations

impl Theory

pub fn new(name: QualifiedName, definition: Rc<DiscreteDblTheory>) -> Self

Default constructor for Theory.

Trait Implementations

impl Clone for Theory

fn clone(&self) -> Theory

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for Theory

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

Formats the value using the given formatter.

impl PartialEq for Theory

fn eq(&self, other: &Self) -> 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 Theory