Home
last modified time | relevance | path

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

/dports/math/spot/spot-2.10.2/spot/twaalgos/
H A Dparity.cc391 reduce_parity(const const_twa_graph_ptr& aut, bool colored) in reduce_parity() function
/dports/math/py-spot/spot-2.10.2/spot/twaalgos/
H A Dparity.cc391 reduce_parity(const const_twa_graph_ptr& aut, bool colored) in reduce_parity() function
/dports/math/spot/spot-2.10.2/python/spot/
H A Dimpl.py2843 reduce_parity = _impl.reduce_parity variable
/dports/math/py-spot/spot-2.10.2/python/spot/
H A Dimpl.py2843 reduce_parity = _impl.reduce_parity variable