Searched defs:bunop (Results 1 – 6 of 6) sorted by relevance
/dports/math/spot/spot-2.10.2/spot/tl/ | ||
H A D | formula.hh | 1190 static formula bunop(op o, const formula& f, in bunop() function in spot::formula |
H A D | formula.cc | 647 fnode::bunop(op o, const fnode* child, unsigned min, unsigned max) in bunop() function in spot::fnode |
/dports/math/py-spot/spot-2.10.2/spot/tl/ | ||
H A D | formula.hh | 1190 static formula bunop(op o, const formula& f, in bunop() function in spot::formula |
H A D | formula.cc | 647 fnode::bunop(op o, const fnode* child, unsigned min, unsigned max) in bunop() function in spot::fnode |
/dports/math/spot/spot-2.10.2/python/spot/ | ||
H A D | impl.py | 261 bunop = _swig_new_static_method(_impl.formula_bunop) variable in formula |
/dports/math/py-spot/spot-2.10.2/python/spot/ | ||
H A D | impl.py | 261 bunop = _swig_new_static_method(_impl.formula_bunop) variable in formula |