Searched refs:nsa_to_dca (Results 1 – 12 of 12) sorted by relevance
/dports/math/spot/spot-2.10.2/spot/twaalgos/ |
H A D | cobuchi.hh | 109 nsa_to_dca(const_twa_graph_ptr aut, bool named_states = false);
|
H A D | cobuchi.cc | 613 nsa_to_dca(const_twa_graph_ptr aut, bool named_states) in nsa_to_dca() function 692 return nsa_to_dca(aut, named_states); in to_dca()
|
/dports/math/py-spot/spot-2.10.2/spot/twaalgos/ |
H A D | cobuchi.hh | 109 nsa_to_dca(const_twa_graph_ptr aut, bool named_states = false);
|
H A D | cobuchi.cc | 613 nsa_to_dca(const_twa_graph_ptr aut, bool named_states) in nsa_to_dca() function 692 return nsa_to_dca(aut, named_states); in to_dca()
|
/dports/math/spot/spot-2.10.2/python/spot/ |
H A D | impl.py | 2288 nsa_to_dca = _impl.nsa_to_dca variable
|
H A D | impl_wrap.cxx | 85381 result = spot::nsa_to_dca(arg1,arg2); in _wrap_nsa_to_dca__SWIG_0() 85417 result = spot::nsa_to_dca(arg1); in _wrap_nsa_to_dca__SWIG_1()
|
/dports/math/py-spot/spot-2.10.2/python/spot/ |
H A D | impl.py | 2288 nsa_to_dca = _impl.nsa_to_dca variable
|
H A D | impl_wrap.cxx | 85381 result = spot::nsa_to_dca(arg1,arg2); in _wrap_nsa_to_dca__SWIG_0() 85417 result = spot::nsa_to_dca(arg1); in _wrap_nsa_to_dca__SWIG_1()
|
/dports/math/spot/spot-2.10.2/ |
H A D | NEWS | 1847 spot::nsa_to_dca(), convert automata with DNF or Streett-like
|
H A D | ChangeLog | 13795 twaalgos/cobuchi: Add breakpoint construction and nsa_to_dca() 13797 * spot/twaalgos/cobuchi.hh: Declare nsa_to_dca(). 13798 * spot/twaalgos/cobuchi.cc: Implement nsa_to_dca().
|
/dports/math/py-spot/spot-2.10.2/ |
H A D | NEWS | 1847 spot::nsa_to_dca(), convert automata with DNF or Streett-like
|
H A D | ChangeLog | 13795 twaalgos/cobuchi: Add breakpoint construction and nsa_to_dca() 13797 * spot/twaalgos/cobuchi.hh: Declare nsa_to_dca(). 13798 * spot/twaalgos/cobuchi.cc: Implement nsa_to_dca().
|