Function pcp::logic::implication

source · 
pub fn implication<VStore>(
    f: Formula<VStore>,
    g: Formula<VStore>
) -> Formula<VStore>where
    VStore: Collection + 'static,
Examples found in repository?
src/libpcp/logic/mod.rs (line 40)
36
37
38
39
40
41
42
43

pub fn equivalence<VStore>(f: Formula<VStore>, g: Formula<VStore>) -> Formula<VStore> where
 VStore: Collection + 'static
{
  Box::new(Conjunction::new(vec![
    implication(f.bclone(), g.bclone()),
    implication(g, f)
  ]))
}