Trait concorde::StateLEExt

pub trait StateLEExt<ObjLD: LatticeDef, Peer: Ord + Clone + Hash + Debug> where
    ObjLD::T: Clone + Debug, {
    fn object(&self) -> &LatticeElt<ObjLD>;
    fn config(&self) -> &CfgLE<Peer>;
}

Helper methods on the State lattice elements.

Required methods

fn object(&self) -> &LatticeElt<ObjLD>

fn config(&self) -> &CfgLE<Peer>

Loading content...

Implementors

impl<ObjLD: LatticeDef, Peer: Ord + Clone + Debug + Hash> StateLEExt<ObjLD, Peer> for StateLE<ObjLD, Peer> where
    ObjLD::T: Clone + Debug + Default, 

fn object(&self) -> &LatticeElt<ObjLD>

fn config(&self) -> &CfgLE<Peer>

Loading content...