Enum TermT 

pub enum TermT {
    Comp(Vec<TermT>),
    Tensor(Vec<TermT>),
    Id(TermType),
    Phase(Phase),
    IfLet {
        pattern: PatternT,
        inner: Box<TermT>,
    },
    Gate {
        name: Name,
        def: Box<TermT>,
    },
    Inverse(Box<TermT>),
    Sqrt(Box<TermT>),
}

Syntax of typed terms

Variants

Comp(Vec<TermT>)

A non-empty composition “t_1 ; … ; t_n”

Tensor(Vec<TermT>)

A tensor “t_1 x … x t_n”

Id(TermType)

An identity “id(n)”

Phase(Phase)

A (global) phase operator, e.g. “-1” or “ph(0.1pi)”

IfLet

An “if let” statement, “if let pattern then inner”

Fields

pattern: PatternT

Pattern to match on in “if let”

inner: Box<TermT>

Body of the “if let”

Gate

Top level symbol, a named gate

Fields

name: Name

Name of symbol/gate

def: Box<TermT>

Definition of symbol

Inverse(Box<TermT>)

Inverse of a term “t ^ -1”

Sqrt(Box<TermT>)

Square root of a term “sqrt(t)”

Implementations

impl TermT

pub fn get_type(&self) -> TermType

Returns the type of this term

pub fn eval<B: Buildable>(&self) -> B

Evaluate a term to a given Buildable type, expanding top level definitions and evaluating inverse and sqrt macros. In particular this can be used to generate a TermN from a TermT.

pub fn eval_circ(&self) -> TermC

Returns a TermC representing the “circuit-normal-form” of the term.

pub fn to_raw(&self) -> TermR<()>

Convert to a raw term.

Trait Implementations

impl Clone for TermT

fn clone(&self) -> TermT

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TermT

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

Formats the value using the given formatter.

impl PartialEq for TermT

fn eq(&self, other: &TermT) -> 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 StructuralPartialEq for TermT