catlog::stdlib::models

Function delayed_negative_loop

Source 
pub fn delayed_negative_loop(
    th: Rc<UstrDiscreteDblTheory>,
) -> UstrDiscreteDblModel
Expand description

The delayed negative self-loop.

A free delayable signed category.