Home
last modified time | relevance | path

Searched refs:get_transitions (Results 1 – 25 of 31) sorted by relevance

12

/dports/math/spot/spot-2.10.2/spot/ta/
H A Dtaexplicit.cc44 transitions_ = s->get_transitions(); in ta_explicit_succ_iterator()
50 transitions_ = s->get_transitions(condition); in ta_explicit_succ_iterator()
106 state_ta_explicit::get_transitions() const in get_transitions() function in spot::state_ta_explicit
113 state_ta_explicit::get_transitions(bdd condition) const in get_transitions() function in spot::state_ta_explicit
132 transitions* trans_by_condition = get_transitions(t->condition); in add_transition()
226 state_ta_explicit::transitions* trans = get_transitions(); in is_hole_state()
272 state_ta_explicit::transitions* trans = get_transitions(); in delete_stuttering_and_hole_successors()
300 (dest)->get_transitions(); in delete_stuttering_and_hole_successors()
305 get_transitions((*it_trans)->condition)->remove(*it_trans); in delete_stuttering_and_hole_successors()
511 state_ta_explicit::transitions* trans = source->get_transitions(); in delete_stuttering_transitions()
H A Dtaexplicit.hh169 get_transitions() const;
173 get_transitions(bdd condition) const;
/dports/math/py-spot/spot-2.10.2/spot/ta/
H A Dtaexplicit.cc44 transitions_ = s->get_transitions(); in ta_explicit_succ_iterator()
50 transitions_ = s->get_transitions(condition); in ta_explicit_succ_iterator()
106 state_ta_explicit::get_transitions() const in get_transitions() function in spot::state_ta_explicit
113 state_ta_explicit::get_transitions(bdd condition) const in get_transitions() function in spot::state_ta_explicit
132 transitions* trans_by_condition = get_transitions(t->condition); in add_transition()
226 state_ta_explicit::transitions* trans = get_transitions(); in is_hole_state()
272 state_ta_explicit::transitions* trans = get_transitions(); in delete_stuttering_and_hole_successors()
300 (dest)->get_transitions(); in delete_stuttering_and_hole_successors()
305 get_transitions((*it_trans)->condition)->remove(*it_trans); in delete_stuttering_and_hole_successors()
511 state_ta_explicit::transitions* trans = source->get_transitions(); in delete_stuttering_transitions()
H A Dtaexplicit.hh169 get_transitions() const;
173 get_transitions(bdd condition) const;
/dports/devel/py-transitions/transitions-0.8.8/tests/
H A Dtest_enum.py142 self.assertEqual(3, len(m.get_transitions(source=self.States.RED)))
143 self.assertEqual(3, len(m.get_transitions(dest=self.States.RED)))
144 self.assertEqual(1, len(m.get_transitions(source=self.States.RED, dest=self.States.YELLOW)))
145 self.assertEqual(9, len(m.get_transitions()))
147 self.assertEqual(4, len(m.get_transitions(source=self.States.RED)))
149 self.assertEqual(2, len(m.get_transitions(source=self.States.RED, dest=self.States.YELLOW)))
323 self.assertEqual(5, len(m.get_transitions(dest=self.States.RED)))
324 …self.assertEqual(1, len(m.get_transitions(source=self.States.RED, dest=self.States.RED, delegate=T…
325 self.assertEqual(1, len(m.get_transitions(source=self.States.RED, dest=self.States.GREEN)))
326 self.assertEqual(1, len(m.get_transitions(dest=self.States.GREEN)))
[all …]
H A Dtest_nesting.py441 self.assertEqual(10, len(machine.get_transitions()))
442 self.assertEqual(2, len(machine.get_transitions(source='A')))
443 self.assertEqual(2, len(machine.get_transitions('inner')))
444 self.assertEqual(3, len(machine.get_transitions('mid')))
445 self.assertEqual(3, len(machine.get_transitions(dest='B{0}1'.format(seperator))))
446 self.assertEqual(2, len(machine.get_transitions(source='B{0}2'.format(seperator),
448 self.assertEqual(1, len(machine.get_transitions(source='B{0}3{0}a'.format(seperator),
450 …self.assertEqual(1, len(machine.get_transitions(source=machine.states['B'].states['3'].states['b']…
452 …self.assertEqual(3, len(machine.get_transitions(source=machine.states['B'].states['3'].states['b'],
H A Dtest_core.py1055 {(t.source, t.dest) for t in m.get_transitions('go')},
1059 for t in m.get_transitions(source='A', dest='D')],
1063 for t in m.get_transitions(dest='D')]),
1067 for t in m.get_transitions(source=m.states['A'], dest=m.states['D'])],
1071 for t in m.get_transitions(dest=m.states['D'])]),
/dports/science/py-gpaw/gpaw-21.6.0/gpaw/test/lrtddft2/
H A Dtest_Al2.py46 w, S, R, Sx, Sy, Sz = lr.get_transitions(max_energy=1e9, units='au')
57 w, S, R, Sx, Sy, Sz = lr.get_transitions(max_energy=1e9, units='au')
67 w, S, R, Sx, Sy, Sz = lr.get_transitions(max_energy=1e9, units='au')
H A Dtest_H2O-lcao.py27 results = lr.get_transitions()[0:2]
/dports/databases/couchdb3/apache-couchdb-3.2.1/src/proper/src/
H A Dproper_fsm.erl327 choose_transition(Mod, From, get_transitions(Mod, From, Data)).
377 -spec get_transitions(mod_name(), state_name(), state_data()) ->
379 get_transitions(Mod, StateName, Data) -> function
431 find_target(get_transitions(Mod, From, StateData), Call, []).
/dports/math/spot/spot-2.10.2/spot/taalgos/
H A Dtgba2ta.cc79 state_ta_explicit::transitions* trans = source->get_transitions(); in transform_to_single_pass_automaton()
88 dest->get_transitions(); in transform_to_single_pass_automaton()
119 (state)->get_transitions(); in transform_to_single_pass_automaton()
553 state_ta_explicit::transitions* trans = state->get_transitions(); in tgba_to_ta()
606 state_ta_explicit::transitions* trans = state->get_transitions(); in tgba_to_tgta()
/dports/math/py-spot/spot-2.10.2/spot/taalgos/
H A Dtgba2ta.cc79 state_ta_explicit::transitions* trans = source->get_transitions();
88 dest->get_transitions();
119 (state)->get_transitions();
553 state_ta_explicit::transitions* trans = state->get_transitions();
606 state_ta_explicit::transitions* trans = state->get_transitions();
/dports/multimedia/obs-studio/obs-studio-27.1.3/deps/obs-scripting/
H A Dobs-scripting-lua-frontend.c84 static int get_transitions(lua_State *script) in get_transitions() function
299 add_func(get_transitions); in add_lua_frontend_funcs()
H A Dobs-scripting-python-frontend.c109 static PyObject *get_transitions(PyObject *self, PyObject *args) in get_transitions() function
415 DEF_FUNC(get_transitions), in add_python_frontend_funcs()
/dports/science/py-gpaw/gpaw-21.6.0/gpaw/test/lcaotddft/
H A Dtest_lcaotddft_vs_lrtddft2.py49 E = lr.lr_transitions.get_transitions()[0][0]
H A Dtest_lcaotddft_vs_lrtddft2_rpa.py51 E = lr.lr_transitions.get_transitions()[0][0]
/dports/devel/p5-Class-Workflow/Class-Workflow-0.11/lib/Class/Workflow/State/
H A DTransitionHash.pm83 sub get_transitions { method
/dports/science/py-gpaw/gpaw-21.6.0/gpaw/test/lrtddft/
H A Dtest_lrtddft2.py69 (w, S, R, Sx, Sy, Sz) = lr2.get_transitions()
/dports/science/py-gpaw/gpaw-21.6.0/gpaw/lrtddft2/
H A D__init__.py226 def get_transitions(self, member in LrTDDFT2
251 trans = self.lr_transitions.get_transitions(filename, min_energy,
H A Dlr_transitions.py381 def get_transitions(self, member in LrtddftTransitions
483 SSz) = self.get_transitions(min_energy=min_energy - 5 * width,
/dports/games/frogatto/frogatto-1.3.1/src/
H A Dhex_tile.hpp91 variant get_transitions();
H A Dhex_tile.cpp156 variant hex_tile::get_transitions() in get_transitions() function in hex::hex_tile
209 return tile_->get_transitions(); in get_value()
/dports/net-mgmt/crmsh/crmsh-4.3.1/crmsh/
H A Dhistory.py180 return [x.pe_num for x in self.logparser.get_transitions()]
709 transitions = list(self.logparser.get_transitions())
786 for t_obj in self.logparser.get_transitions():
870 for t_obj in self.logparser.get_transitions() if pe_file_in_range(t_obj.pe_file, a)]
878 …15s Tags" % ("Time", "Name", "Node")] + [t.description() for t in self.logparser.get_transitions()]
/dports/devel/py-transitions/transitions-0.8.8/transitions/extensions/
H A Dnesting.py611 transitions = _super(HierarchicalMachine, self).get_transitions(trigger, src, dest)
617 transitions = _super(HierarchicalMachine, self).get_transitions(trigger, src, "*")
623 transitions = _super(HierarchicalMachine, self).get_transitions(trigger, "*", dest)
629 transitions = _super(HierarchicalMachine, self).get_transitions(trigger, "*", "*")
684 def get_transitions(self, trigger="", source="*", dest="*", delegate=False): member in HierarchicalMachine
707 matches.extend(self.get_transitions(trigger,
/dports/science/py-gpaw/gpaw-21.6.0/gpaw/response/
H A Dchiks.py97 n1_t, n2_t, s1_t, s2_t = kskptpair.get_transitions()

12