/dports/math/spot/spot-2.10.2/tests/python/ |
H A D | stutter.py | 39 waut = word.as_automaton() 40 aut = neg if waut.intersects(pos) else pos 41 word2 = spot.sl2(waut).intersecting_word(aut)
|
H A D | stutter-inv.ipynb | 365 " waut = word.as_automaton()\n", 366 " if waut.intersects(pos):\n", 370 " word2 = spot.sl2(waut).intersecting_word(aut)\n",
|
/dports/math/py-spot/spot-2.10.2/tests/python/ |
H A D | stutter.py | 39 waut = word.as_automaton() 40 aut = neg if waut.intersects(pos) else pos 41 word2 = spot.sl2(waut).intersecting_word(aut)
|
H A D | stutter-inv.ipynb | 365 " waut = word.as_automaton()\n", 366 " if waut.intersects(pos):\n", 370 " word2 = spot.sl2(waut).intersecting_word(aut)\n",
|
/dports/cad/sumo/sumo-1.2.0/src/microsim/traffic_lights/ |
H A D | MSTLLogicControl.h | 526 WAUTSwitchProcedure(MSTLLogicControl& control, WAUT& waut, in WAUTSwitchProcedure() argument 529 … : myFrom(from), myTo(to), mySwitchSynchron(synchron), myWAUT(waut), myControl(control) { } in WAUTSwitchProcedure() 623 WAUTSwitchProcedure_JustSwitch(MSTLLogicControl& control, WAUT& waut, 663 WAUTSwitchProcedure_GSP(MSTLLogicControl& control, WAUT& waut, 707 WAUTSwitchProcedure_Stretch(MSTLLogicControl& control, WAUT& waut,
|
H A D | MSTLLogicControl.cpp | 283 MSTLLogicControl& control, WAUT& waut, in WAUTSwitchProcedure_JustSwitch() argument 285 : MSTLLogicControl::WAUTSwitchProcedure(control, waut, from, to, synchron) {} in WAUTSwitchProcedure_JustSwitch() 302 MSTLLogicControl& control, WAUT& waut, in WAUTSwitchProcedure_GSP() argument 304 : MSTLLogicControl::WAUTSwitchProcedure(control, waut, from, to, synchron) {} in WAUTSwitchProcedure_GSP() 357 MSTLLogicControl& control, WAUT& waut, in WAUTSwitchProcedure_Stretch() argument 359 : MSTLLogicControl::WAUTSwitchProcedure(control, waut, from, to, synchron) {} in WAUTSwitchProcedure_Stretch()
|
/dports/cad/sumo/sumo-1.2.0/tools/import/vissim/ |
H A D | tls_vissimXML2SUMOnet_update.py | 493 waut = sumodoc.createElement("WAUT") 494 waut.setAttribute("startProg", 497 waut.setAttribute("refTime", "100") 498 waut.setAttribute("id", "".join(["w", tls_id])) 500 net.insertBefore(waut, junction)
|
/dports/databases/percona56-server/percona-server-5.6.51-91.0/mysql-test/suite/ndb/t/ |
H A D | ndb_alter_table_online.test | 659 # waut for backup to complete
|
/dports/databases/percona56-client/percona-server-5.6.51-91.0/mysql-test/suite/ndb/t/ |
H A D | ndb_alter_table_online.test | 659 # waut for backup to complete
|
/dports/databases/percona-pam-for-mysql/percona-server-5.6.51-91.0/mysql-test/suite/ndb/t/ |
H A D | ndb_alter_table_online.test | 659 # waut for backup to complete
|
/dports/databases/mysqlwsrep56-server/mysql-wsrep-wsrep_5.6.51-25.33/mysql-test/suite/ndb/t/ |
H A D | ndb_alter_table_online.test | 659 # waut for backup to complete
|
/dports/databases/mysql56-client/mysql-5.6.51/mysql-test/suite/ndb/t/ |
H A D | ndb_alter_table_online.test | 659 # waut for backup to complete
|
/dports/databases/percona57-server/percona-server-5.7.36-39/mysql-test/suite/ndb/t/ |
H A D | ndb_alter_table_online.test | 663 # waut for backup to complete
|
/dports/databases/xtrabackup/percona-xtrabackup-2.4.21/mysql-test/suite/ndb/t/ |
H A D | ndb_alter_table_online.test | 663 # waut for backup to complete
|
/dports/databases/percona57-pam-for-mysql/percona-server-5.7.36-39/mysql-test/suite/ndb/t/ |
H A D | ndb_alter_table_online.test | 663 # waut for backup to complete
|
/dports/databases/mysqlwsrep57-server/mysql-wsrep-wsrep_5.7.35-25.27/mysql-test/suite/ndb/t/ |
H A D | ndb_alter_table_online.test | 663 # waut for backup to complete
|
/dports/databases/percona57-client/percona-server-5.7.36-39/mysql-test/suite/ndb/t/ |
H A D | ndb_alter_table_online.test | 663 # waut for backup to complete
|
/dports/databases/mysql57-client/mysql-5.7.36/mysql-test/suite/ndb/t/ |
H A D | ndb_alter_table_online.test | 663 # waut for backup to complete
|
/dports/databases/xtrabackup8/percona-xtrabackup-8.0.14/mysql-test/suite/ndb/t/ |
H A D | ndb_alter_table_online.test | 669 # waut for backup to complete
|
/dports/chinese/ibus-table-chinese/ibus-table-chinese-1.8.3/tables/wubi-haifeng/ |
H A D | Word.tab | 39620 借道 waut waut 391000 146000 537000 0 2
|
H A D | wubi-haifeng86.UTF-8 | 129514 waut 借道 547000
|
/dports/finance/kmymoney/kmymoney-5.1.1/po/pl/ |
H A D | kmymoney.po | 6986 msgstr "<p>Czy na pewno usunąć wautę <b>%1</b> z pliku?</p>"
|
/dports/chinese/brise/brise-brise-0.35/supplement/ |
H A D | wubi86.dict.yaml | 119174 借道 waut 1120000
|
/dports/chinese/rime-wubi/rime-wubi-f1876f08f1d4a9696395be0070c0e8e4353c44cb/ |
H A D | wubi86.dict.yaml | 119105 借道 waut 1120000
|
/dports/textproc/p5-Unicode-Tussle/Unicode-Tussle-1.111/data/ |
H A D | words.utf8 | 513171 waut × waut → walt
|