[−][src]Function pocket_prover::path1_lennm
pub fn path1_lennm(f: usize, x: usize) -> u64
Path Semantical Logic: Computes number of cases.
For proof of formula, see https://github.com/advancedresearch/path_semantics/blob/master/papers-wip/complexity-of-path-semantical-logic.pdf