Home
last modified time | relevance | path

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

/dports/math/spot/spot-2.10.2/tests/python/
H A Dstutter.py39 waut = word.as_automaton()
40 aut = neg if waut.intersects(pos) else pos
41 word2 = spot.sl2(waut).intersecting_word(aut)
H A Dstutter-inv.ipynb365 " 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 Dstutter.py39 waut = word.as_automaton()
40 aut = neg if waut.intersects(pos) else pos
41 word2 = spot.sl2(waut).intersecting_word(aut)
H A Dstutter-inv.ipynb365 " 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 DMSTLLogicControl.h526 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 DMSTLLogicControl.cpp283 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 Dtls_vissimXML2SUMOnet_update.py493 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 Dndb_alter_table_online.test659 # waut for backup to complete
/dports/databases/percona56-client/percona-server-5.6.51-91.0/mysql-test/suite/ndb/t/
H A Dndb_alter_table_online.test659 # 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 Dndb_alter_table_online.test659 # waut for backup to complete
/dports/databases/mysqlwsrep56-server/mysql-wsrep-wsrep_5.6.51-25.33/mysql-test/suite/ndb/t/
H A Dndb_alter_table_online.test659 # waut for backup to complete
/dports/databases/mysql56-client/mysql-5.6.51/mysql-test/suite/ndb/t/
H A Dndb_alter_table_online.test659 # waut for backup to complete
/dports/databases/percona57-server/percona-server-5.7.36-39/mysql-test/suite/ndb/t/
H A Dndb_alter_table_online.test663 # waut for backup to complete
/dports/databases/xtrabackup/percona-xtrabackup-2.4.21/mysql-test/suite/ndb/t/
H A Dndb_alter_table_online.test663 # waut for backup to complete
/dports/databases/percona57-pam-for-mysql/percona-server-5.7.36-39/mysql-test/suite/ndb/t/
H A Dndb_alter_table_online.test663 # waut for backup to complete
/dports/databases/mysqlwsrep57-server/mysql-wsrep-wsrep_5.7.35-25.27/mysql-test/suite/ndb/t/
H A Dndb_alter_table_online.test663 # waut for backup to complete
/dports/databases/percona57-client/percona-server-5.7.36-39/mysql-test/suite/ndb/t/
H A Dndb_alter_table_online.test663 # waut for backup to complete
/dports/databases/mysql57-client/mysql-5.7.36/mysql-test/suite/ndb/t/
H A Dndb_alter_table_online.test663 # waut for backup to complete
/dports/databases/xtrabackup8/percona-xtrabackup-8.0.14/mysql-test/suite/ndb/t/
H A Dndb_alter_table_online.test669 # waut for backup to complete
/dports/chinese/ibus-table-chinese/ibus-table-chinese-1.8.3/tables/wubi-haifeng/
H A DWord.tab39620 借道 waut waut 391000 146000 537000 0 2
H A Dwubi-haifeng86.UTF-8129514 waut 借道 547000
/dports/finance/kmymoney/kmymoney-5.1.1/po/pl/
H A Dkmymoney.po6986 msgstr "<p>Czy na pewno usunąć wautę <b>%1</b> z pliku?</p>"
/dports/chinese/brise/brise-brise-0.35/supplement/
H A Dwubi86.dict.yaml119174 借道 waut 1120000
/dports/chinese/rime-wubi/rime-wubi-f1876f08f1d4a9696395be0070c0e8e4353c44cb/
H A Dwubi86.dict.yaml119105 借道 waut 1120000
/dports/textproc/p5-Unicode-Tussle/Unicode-Tussle-1.111/data/
H A Dwords.utf8513171 waut × waut → walt