Trait ContextRefinement 

pub trait ContextRefinement {
    // Required method
    fn refines(&self, c_prime: &str, c: &str) -> bool;
}

External refinement relation: which contexts refine which.

refines(c_prime, c) returns true iff c_prime -> c in the context category. The relation must be reflexive and transitive for Theorem 4 to apply.

Required Methods

fn refines(&self, c_prime: &str, c: &str) -> bool

Whether c_prime refines c (i.e., c_prime -> c).

Implementors