Skip to main content

indeterminate_loop

catlog::stdlib::models

Function indeterminate_loop 

Source 
pub fn indeterminate_loop(th: Rc<DiscreteDblTheory>) -> DiscreteDblModel
Expand description

The indeterminate self-loop.

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