Skip to main content

pushdown_system_ty

oxilean_std::model_checking::functions

Function pushdown_system_ty 

Source 
pub fn pushdown_system_ty() -> Expr
Expand description

PushdownSystem: a recursive program modeled as a pushdown automaton