Home
last modified time | relevance | path

Searched refs:tgta (Results 1 – 25 of 49) sorted by relevance

12

/dports/games/gemrb/gemrb-0.9.0/gemrb/core/
H A DDialogHandler.cpp259 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 Dtgta.hh59 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 DMakefile.am30 tgta.hh \
H A Dtgtaexplicit.cc31 tgta(tgba->get_dict()), in tgta_explicit()
H A Dtgtaexplicit.hh37 class SPOT_API tgta_explicit final : public tgta
H A Dtgtaproduct.hh56 const const_tgta_ptr& tgta,
H A Dtgtaproduct.cc71 auto r = std::static_pointer_cast<const tgta>(right_); in succ_iter()
/dports/math/py-spot/spot-2.10.2/spot/ta/
H A Dtgta.hh59 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 DMakefile.am30 tgta.hh \
H A Dtgtaexplicit.cc31 tgta(tgba->get_dict()), in tgta_explicit()
H A Dtgtaexplicit.hh37 class SPOT_API tgta_explicit final : public tgta
H A Dtgtaproduct.hh56 const const_tgta_ptr& tgta,
H A Dtgtaproduct.cc71 auto r = std::static_pointer_cast<const tgta>(right_); in succ_iter()
/dports/math/spot/spot-2.10.2/bin/
H A Dltl2tgta.cc210 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 Dltl2tgta.cc210 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 Dltl2tgta.org91 #+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 Dupgrade2.org249 | ~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 Dtools.org107 # LocalWords: scalable ltl tgba Büchi automata tgta ltlcross eval
/dports/math/py-spot/spot-2.10.2/doc/org/
H A Dltl2tgta.org91 #+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 Dupgrade2.org249 | ~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 Dtgba2ta.cc575 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 Dtgba2ta.cc575 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 DKanExtension.py61 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 Dikwiad.cc1234 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 Dikwiad.cc1234 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()

12