Struct RefinementArena 

pub struct RefinementArena { /* private fields */ }

Implementations

impl RefinementArena

pub fn conjunction_mut( &mut self, lhs: RefinementId, rhs: RefinementId, ) -> RefinementId

impl RefinementArena

pub fn disjunction_mut( &mut self, lhs: RefinementId, rhs: RefinementId, ) -> RefinementId

impl RefinementArena

pub fn negation_mut(&mut self, r: RefinementId) -> RefinementId

impl RefinementArena

pub fn proposition_def_id_bool( &mut self, def: DefId, sense: bool, ) -> RefinementId

impl RefinementArena

pub fn proposition(&mut self, def: DefId, sense: bool) -> RefinementId

pub fn type_proposition( &mut self, def: DefId, type: Option<String>, is_typeof: bool, sense: bool, ) -> RefinementId

pub fn conjunction( &mut self, lhs: RefinementId, rhs: RefinementId, ) -> RefinementId

pub fn disjunction( &mut self, lhs: RefinementId, rhs: RefinementId, ) -> RefinementId

pub fn negation(&mut self, r: RefinementId) -> RefinementId

pub fn freeze(&mut self)

Trait Implementations

impl Debug for RefinementArena

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

Formats the value using the given formatter.