[][src]Trait gf::support::lattice::Top

pub trait Top: Sized {
    fn top() -> Self;
fn is_top(&self) -> bool; fn reset_to_top(&mut self) { ... } }

A type that has a designated top element, ⊤.

Option<()> is a trivial lattice

Option<()> implements Top with Some(()) as ⊤, and Bottom with None as ⊥. Therefore, it is a trivial lattice {⊥, ⊤}. We use Option<()> in place of bool to indicate success or failure in lattice contexts.

Blanket implementations

Required methods

fn top() -> Self

Return the top element, ⊤.

fn is_top(&self) -> bool

Test whether self is ⊤.

Loading content...

Provided methods

fn reset_to_top(&mut self)

Reset self to ⊤.

The default implementation assigns self to what top returns. In many cases, a more efficient implementation is possible.

Loading content...

Implementations on Foreign Types

impl Top for Option<()>[src]

impl<A: Top, B: Top> Top for (A, B)[src]

impl<A: Top, B: Top, C: Top> Top for (A, B, C)[src]

impl<T: Top> Top for Arc<T>[src]

impl<T: Top> Top for Box<T>[src]

impl<T: Top> Top for Rc<T>[src]

Loading content...


impl<'a> Top for ConcolicState<'a>[src]

impl<'a> Top for SymbolicState<'a>[src]

impl<'a, A, V, S> Top for State<'a, A, V, S> where
    V: Bottom + Clone + Eq + Top,
    S: Clone + SpaceState<A, V>, 

impl<K: Clone + Hash + Eq, V: Clone + Eq + Top> Top for HashLattice<K, V>[src]

impl<L: Bottom> Top for Flip<L>[src]

impl<T: Clone + Eq + Top> Top for VarState<T>[src]

impl<T: Eq> Top for FlatLattice<T>[src]

impl<T: Eq> Top for PosetLattice<T>[src]

Loading content...