Trait trivial_kernel::table::Table[−][src]

pub trait Table {
    type Sort: Sort;
    type Term: Term<Type = Self::Var>;
    type Theorem: Theorem;
    type Var: Var;
    fn get_sort(&self, idx: u8) -> Option<&Self::Sort>;

    fn nr_sorts(&self) -> u8;

    fn get_term(&self, idx: u32) -> Option<&Self::Term>;

    fn nr_terms(&self) -> u32;

    fn get_theorem(&self, idx: u32) -> Option<&Self::Theorem>;

    fn nr_theorems(&self) -> u32;

    fn get_unify_commands(&self, idx: Range<usize>) -> Option<&[Command<Unify>]>;

    fn get_unify_command(&self, idx: usize) -> Option<&Command<Unify>>;

    fn get_binders(&self, idx: Range<usize>) -> Option<&[Self::Var]>;
}

An interface that enables queries for properties of sorts, terms and theorems.

Associated Types

type Sort: Sort[src]

type Term: Term<Type = Self::Var>[src]

type Theorem: Theorem[src]

type Var: Var[src]

Loading content...

Required methods

fn get_sort(&self, idx: u8) -> Option<&Self::Sort>[src]

fn nr_sorts(&self) -> u8[src]

fn get_term(&self, idx: u32) -> Option<&Self::Term>[src]

fn nr_terms(&self) -> u32[src]

fn get_theorem(&self, idx: u32) -> Option<&Self::Theorem>[src]

fn nr_theorems(&self) -> u32[src]

fn get_unify_commands(&self, idx: Range<usize>) -> Option<&[Command<Unify>]>[src]

fn get_unify_command(&self, idx: usize) -> Option<&Command<Unify>>[src]

fn get_binders(&self, idx: Range<usize>) -> Option<&[Self::Var]>[src]

Loading content...

Implementors

impl Table for Table_[src]

type Sort = Sort_

type Term = Term_

type Theorem = Theorem_

type Var = Var_

Loading content...