Struct Context

pub struct Context<'p, E: 'p + Environment> { /* private fields */ }

Evaluation context. Maps each variable to its sort.

Implementations

impl<'p, E: 'p + Environment> Context<'p, E>

pub fn new() -> Context<'p, E>

Create a new empty context.

pub fn from(parent: &'p Context<'p, E>) -> Context<'p, E>

pub fn find(&self, id: &E::Ident) -> Option<(usize, &GroundSort<E::Sort>)>

pub fn sort(&self, x: usize) -> &GroundSort<E::Sort>

Get the sort of the given variable (identified with its index). Panics if the variable is not defined in the context.