Home
last modified time | relevance | path

Searched defs:tl_simplifier_options (Results 1 – 4 of 4) sorted by relevance

/dports/math/spot/spot-2.10.2/spot/tl/
H A Dsimplify.hh29 class tl_simplifier_options class
32 tl_simplifier_options(bool basics = true, in tl_simplifier_options() function in spot::tl_simplifier_options
55 tl_simplifier_options(int level) : in tl_simplifier_options() function in spot::tl_simplifier_options
/dports/math/py-spot/spot-2.10.2/spot/tl/
H A Dsimplify.hh29 class tl_simplifier_options class
32 tl_simplifier_options(bool basics = true, in tl_simplifier_options() function in spot::tl_simplifier_options
55 tl_simplifier_options(int level) : in tl_simplifier_options() function in spot::tl_simplifier_options
/dports/math/spot/spot-2.10.2/python/spot/
H A Dimpl.py1708 class tl_simplifier_options(object): class
/dports/math/py-spot/spot-2.10.2/python/spot/
H A Dimpl.py1708 class tl_simplifier_options(object): class