Up – Package index » electrod » Library electrod.libelectrod » Libelectrod » Gen_goal_recursor

Module `Libelectrod.Gen_goal_recursor`Source

Implements a recursor over generic goals (necessary for conversion to LTL).

Sourceclass virtual +'a recursor : object ... end