/dports/games/gemrb/gemrb-0.9.0/gemrb/core/ |
H A D | DialogHandler.cpp | 259 Actor *tgta = NULL; in DialogChoose() local 261 tgta = (Actor *)target; in DialogChoose() 275 if (tgta) { in DialogChoose() 278 tgta->TalkCount++; in DialogChoose() 281 tgta->InteractCount++; in DialogChoose() 345 tgta = NULL; in DialogChoose() 351 if (tgta && strnicmp(tgta->GetDialog(GD_NORMAL), tr->Dialog, 8) != 0) { in DialogChoose() 352 tgta = NULL; in DialogChoose() 354 tgt = tgta; in DialogChoose() 402 if (tgta) tgta->SetCircleSize(); in DialogChoose() [all …]
|
/dports/math/spot/spot-2.10.2/spot/ta/ |
H A D | tgta.hh | 59 class SPOT_API tgta : public twa class 63 tgta(const bdd_dict_ptr& d) in tgta() function in spot::tgta 69 virtual ~tgta() in ~tgta() 85 typedef std::shared_ptr<tgta> tgta_ptr; 86 typedef std::shared_ptr<const tgta> const_tgta_ptr;
|
H A D | Makefile.am | 30 tgta.hh \
|
H A D | tgtaexplicit.cc | 31 tgta(tgba->get_dict()), in tgta_explicit()
|
H A D | tgtaexplicit.hh | 37 class SPOT_API tgta_explicit final : public tgta
|
H A D | tgtaproduct.hh | 56 const const_tgta_ptr& tgta,
|
H A D | tgtaproduct.cc | 71 auto r = std::static_pointer_cast<const tgta>(right_); in succ_iter()
|
/dports/math/py-spot/spot-2.10.2/spot/ta/ |
H A D | tgta.hh | 59 class SPOT_API tgta : public twa class 63 tgta(const bdd_dict_ptr& d) in tgta() function in spot::tgta 69 virtual ~tgta() in ~tgta() 85 typedef std::shared_ptr<tgta> tgta_ptr; 86 typedef std::shared_ptr<const tgta> const_tgta_ptr;
|
H A D | Makefile.am | 30 tgta.hh \
|
H A D | tgtaexplicit.cc | 31 tgta(tgba->get_dict()), in tgta_explicit()
|
H A D | tgtaexplicit.hh | 37 class SPOT_API tgta_explicit final : public tgta
|
H A D | tgtaproduct.hh | 56 const const_tgta_ptr& tgta,
|
H A D | tgtaproduct.cc | 71 auto r = std::static_pointer_cast<const tgta>(right_); in succ_iter()
|
/dports/math/spot/spot-2.10.2/bin/ |
H A D | ltl2tgta.cc | 210 auto tgta = tgba_to_tgta(aut, ap_set); in process_formula() local 212 tgta = spot::minimize_tgta(tgta); in process_formula() 213 spot::print_dot(std::cout, tgta->get_ta()); in process_formula()
|
/dports/math/py-spot/spot-2.10.2/bin/ |
H A D | ltl2tgta.cc | 210 auto tgta = tgba_to_tgta(aut, ap_set); in process_formula() local 212 tgta = spot::minimize_tgta(tgta); in process_formula() 213 spot::print_dot(std::cout, tgta->get_ta()); in process_formula()
|
/dports/math/spot/spot-2.10.2/doc/org/ |
H A D | ltl2tgta.org | 91 #+NAME: gfagfb-tgta 96 #+BEGIN_SRC dot :file gfagfb-tgta.svg :var txt=gfagfb-tgta :exports results 100 [[file:gfagfb-tgta.svg]] 111 # LocalWords: ltl tgta num toc Automata automata GraphViz UTF Gb na
|
H A D | upgrade2.org | 249 | ~ta/tgta.hh~ | ~spot/ta/tgta.hh~ | … 406 typedef std::shared_ptr<const tgta> const_tgta_ptr; 425 typedef std::shared_ptr<tgta> tgta_ptr; 675 # LocalWords: typedefs sed aut taa tgta acc buchi myalgorithm succ
|
H A D | tools.org | 107 # LocalWords: scalable ltl tgba Büchi automata tgta ltlcross eval
|
/dports/math/py-spot/spot-2.10.2/doc/org/ |
H A D | ltl2tgta.org | 91 #+NAME: gfagfb-tgta 96 #+BEGIN_SRC dot :file gfagfb-tgta.svg :var txt=gfagfb-tgta :exports results 100 [[file:gfagfb-tgta.svg]] 111 # LocalWords: ltl tgta num toc Automata automata GraphViz UTF Gb na
|
H A D | upgrade2.org | 249 | ~ta/tgta.hh~ | ~spot/ta/tgta.hh~ | … 406 typedef std::shared_ptr<const tgta> const_tgta_ptr; 425 typedef std::shared_ptr<tgta> tgta_ptr; 675 # LocalWords: typedefs sed aut taa tgta acc buchi myalgorithm succ
|
/dports/math/spot/spot-2.10.2/spot/taalgos/ |
H A D | tgba2ta.cc | 575 auto tgta = make_tgta_explicit(tgba_, tgba_->acc().num_sets(), in tgba_to_tgta() local 580 auto ta = tgta->get_ta(); in tgba_to_tgta() 594 return tgta; in tgba_to_tgta() 626 return tgta; in tgba_to_tgta()
|
/dports/math/py-spot/spot-2.10.2/spot/taalgos/ |
H A D | tgba2ta.cc | 575 auto tgta = make_tgta_explicit(tgba_, tgba_->acc().num_sets(), 580 auto ta = tgta->get_ta(); 594 return tgta; 626 return tgta;
|
/dports/devel/py-guppy3/guppy3-3.1.2/guppy/etc/ |
H A D | KanExtension.py | 61 tgta = self.A.target(a) 66 Ftgta = self.F.fo(tgta) 83 add_rule(((srca, x),) + Fa, ((tgta, Xa(x)),)) 320 tgta = B.target(a) 322 self.tgt = KB(tgta)
|
/dports/math/spot/spot-2.10.2/tests/core/ |
H A D | ikwiad.cc | 1234 auto tgta = tgba_to_tgta(a, atomic_props_set_bdd); in checked_main() local 1238 a = minimize_tgta(tgta); in checked_main() 1243 a = tgta; in checked_main()
|
/dports/math/py-spot/spot-2.10.2/tests/core/ |
H A D | ikwiad.cc | 1234 auto tgta = tgba_to_tgta(a, atomic_props_set_bdd); in checked_main() local 1238 a = minimize_tgta(tgta); in checked_main() 1243 a = tgta; in checked_main()
|