/dports/math/spot/spot-2.10.2/spot/ta/ |
H A D | taexplicit.cc | 44 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 D | taexplicit.hh | 169 get_transitions() const; 173 get_transitions(bdd condition) const;
|
/dports/math/py-spot/spot-2.10.2/spot/ta/ |
H A D | taexplicit.cc | 44 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 D | taexplicit.hh | 169 get_transitions() const; 173 get_transitions(bdd condition) const;
|
/dports/devel/py-transitions/transitions-0.8.8/tests/ |
H A D | test_enum.py | 142 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 D | test_nesting.py | 441 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 D | test_core.py | 1055 {(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 D | test_Al2.py | 46 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 D | test_H2O-lcao.py | 27 results = lr.get_transitions()[0:2]
|
/dports/databases/couchdb3/apache-couchdb-3.2.1/src/proper/src/ |
H A D | proper_fsm.erl | 327 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 D | tgba2ta.cc | 79 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 D | tgba2ta.cc | 79 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 D | obs-scripting-lua-frontend.c | 84 static int get_transitions(lua_State *script) in get_transitions() function 299 add_func(get_transitions); in add_lua_frontend_funcs()
|
H A D | obs-scripting-python-frontend.c | 109 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 D | test_lcaotddft_vs_lrtddft2.py | 49 E = lr.lr_transitions.get_transitions()[0][0]
|
H A D | test_lcaotddft_vs_lrtddft2_rpa.py | 51 E = lr.lr_transitions.get_transitions()[0][0]
|
/dports/devel/p5-Class-Workflow/Class-Workflow-0.11/lib/Class/Workflow/State/ |
H A D | TransitionHash.pm | 83 sub get_transitions { method
|
/dports/science/py-gpaw/gpaw-21.6.0/gpaw/test/lrtddft/ |
H A D | test_lrtddft2.py | 69 (w, S, R, Sx, Sy, Sz) = lr2.get_transitions()
|
/dports/science/py-gpaw/gpaw-21.6.0/gpaw/lrtddft2/ |
H A D | __init__.py | 226 def get_transitions(self, member in LrTDDFT2 251 trans = self.lr_transitions.get_transitions(filename, min_energy,
|
H A D | lr_transitions.py | 381 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 D | hex_tile.hpp | 91 variant get_transitions();
|
H A D | hex_tile.cpp | 156 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 D | history.py | 180 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 D | nesting.py | 611 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 D | chiks.py | 97 n1_t, n2_t, s1_t, s2_t = kskptpair.get_transitions()
|