catlog::stdlib::models

Function positive_loop

Source 
pub fn positive_loop(th: Arc<UstrDiscreteDblTheory>) -> UstrDiscreteDblModel
Expand description

The positive self-loop.

A signed graph or free signed category, possibly with delays or indeterminates.