Home
last modified time | relevance | path

Searched refs:nsa_to_dca (Results 1 – 12 of 12) sorted by relevance

/dports/math/spot/spot-2.10.2/spot/twaalgos/
H A Dcobuchi.hh109 nsa_to_dca(const_twa_graph_ptr aut, bool named_states = false);
H A Dcobuchi.cc613 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 Dcobuchi.hh109 nsa_to_dca(const_twa_graph_ptr aut, bool named_states = false);
H A Dcobuchi.cc613 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 Dimpl.py2288 nsa_to_dca = _impl.nsa_to_dca variable
H A Dimpl_wrap.cxx85381 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 Dimpl.py2288 nsa_to_dca = _impl.nsa_to_dca variable
H A Dimpl_wrap.cxx85381 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 DNEWS1847 spot::nsa_to_dca(), convert automata with DNF or Streett-like
H A DChangeLog13795 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 DNEWS1847 spot::nsa_to_dca(), convert automata with DNF or Streett-like
H A DChangeLog13795 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().