Home
last modified time | relevance | path

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

12345678910>>...13

/dports/math/spot/spot-2.10.2/spot/twaalgos/
H A Dcompsusp.cc49 ltl_suspender_visitor(fmap_t& g2s, fmap_t& a2o, bool oblig) in ltl_suspender_visitor() argument
50 : g2s_(g2s), a2o_(a2o), oblig_(oblig) in ltl_suspender_visitor()
63 vec oblig; in visit() local
72 oblig.emplace_back(c); in visit()
78 if (!oblig.empty()) in visit()
80 res.emplace_back(recurse(formula::multop(o, oblig))); in visit()
280 bool oblig) in compsusp() argument
284 ltl_suspender_visitor v(g2s, a2o, oblig); in compsusp()
H A Dcompsusp.hh53 bool wdba_smaller = false, bool oblig = false);
/dports/math/py-spot/spot-2.10.2/spot/twaalgos/
H A Dcompsusp.cc49 ltl_suspender_visitor(fmap_t& g2s, fmap_t& a2o, bool oblig) in ltl_suspender_visitor() argument
50 : g2s_(g2s), a2o_(a2o), oblig_(oblig) in ltl_suspender_visitor()
63 vec oblig; in visit() local
72 oblig.emplace_back(c); in visit()
78 if (!oblig.empty()) in visit()
80 res.emplace_back(recurse(formula::multop(o, oblig))); in visit()
280 bool oblig) in compsusp() argument
284 ltl_suspender_visitor v(g2s, a2o, oblig); in compsusp()
H A Dcompsusp.hh53 bool wdba_smaller = false, bool oblig = false);
/dports/math/spot/spot-2.10.2/doc/org/
H A Dhierarchy.org306 #+NAME: hier-oblig-1
311 #+BEGIN_SRC dot :file hier-oblig-1.svg :var txt=hier-oblig-1 :exports results
316 [[file:hier-oblig-1.svg]]
329 #+NAME: hier-oblig-2
334 #+BEGIN_SRC dot :file hier-oblig-2.svg :var txt=hier-oblig-2 :exports results
339 [[file:hier-oblig-2.svg]]
354 #+NAME: hier-oblig-3
359 #+BEGIN_SRC dot :file hier-oblig-3.svg :var txt=hier-oblig-3 :exports results
364 [[file:hier-oblig-3.svg]]
368 #+NAME: hier-oblig-4
[all …]
/dports/math/py-spot/spot-2.10.2/doc/org/
H A Dhierarchy.org306 #+NAME: hier-oblig-1
311 #+BEGIN_SRC dot :file hier-oblig-1.svg :var txt=hier-oblig-1 :exports results
316 [[file:hier-oblig-1.svg]]
329 #+NAME: hier-oblig-2
334 #+BEGIN_SRC dot :file hier-oblig-2.svg :var txt=hier-oblig-2 :exports results
339 [[file:hier-oblig-2.svg]]
354 #+NAME: hier-oblig-3
359 #+BEGIN_SRC dot :file hier-oblig-3.svg :var txt=hier-oblig-3 :exports results
364 [[file:hier-oblig-3.svg]]
368 #+NAME: hier-oblig-4
[all …]
/dports/textproc/hyphen/hyphen-2.8.8/
H A Dhyphen.patch20 -oblig-a-tory
/dports/security/p5-Net-SAML/zxid-1.42/
H A Dzxidwsf.c576 char* oblig; in zxid_eval_sol1() local
588 oblig = zx_dup_cstr(cf->ctx, obl); /* Will be modified in place so we need a copy */ in zxid_eval_sol1()
589 ol = zxid_load_obl_list(cf, 0, oblig); in zxid_eval_sol1()
602 ZX_FREE(cf->ctx, oblig); in zxid_eval_sol1()
608 ZX_FREE(cf->ctx, oblig); in zxid_eval_sol1()
H A Dzxidconf.c378 char* oblig; in zxid_load_need() local
407 oblig = ++p; in zxid_load_need()
433 COPYVAL(nn->retent, retent, oblig-1); in zxid_load_need()
434 COPYVAL(nn->oblig, oblig, ext-1); in zxid_load_need()
437 …s) retent(%s) oblig(%s) ext(%s)", usage-attrs-1, attrs, nn->usage, nn->retent, nn->oblig, nn->ext); in zxid_load_need()
461 ZX_FREE(cf->ctx, need->oblig); in zxid_free_need()
2063 STRNULLCHK(np->oblig), STRNULLCHK(np->ext), in zxid_show_need()
/dports/devel/pear-Horde_Alarm/Horde_Alarm-2.2.10/locale/lv/LC_MESSAGES/
H A DHorde_Alarm.po34 msgstr "E-pasta adrese (nav obligāti)"
/dports/www/dolibarr/dolibarr-14.0.3/htdocs/langs/lv_LV/
H A Dexports.lang57 StarAreMandatory=* ir obligāti aizpildāmi lauki
62 FieldsInTargetDatabase=Mērķa lauki Dolibarr datu bāzē (treknrakstā = obligāti)
77 SomeMandatoryFieldHaveNoSource=Daži obligātie lauki nav avotu, no datu faila
101 SourceRequired=Datu vērtība ir obligāta
H A Derrors.lang30 ErrorProdIdIsMandatory=%s ir obligāti
50 ErrorFieldsRequired=Daži obligāti aizpildāmie lauki ir atstāti tukši.
210 ErrorModuleFileSeemsToHaveAWrongFormat2=Vismaz vienam obligātajam direktorijam jābūt moduļa <strong…
225 ErrorDescRequiredForFreeProductLines=Apraksts ir obligāts līnijām ar bezmaksas produktu
243 ErrorLanguageMandatoryIfPageSetAsTranslationOfAnother=Kļūda, valoda ir obligāta, ja lapu iestatāt k…
261 ErrorAParameterIsRequiredForThisOperation=Šai darbībai ir obligāts parametrs
263 ErrorAnAmountWithoutTaxIsRequired=Kļūda, summa ir obligāta
271 WarningMandatorySetupNotComplete=Noklikšķiniet šeit, lai iestatītu obligātos parametrus
H A Dstripe.lang25 …not URL parametru <b>&amp; tag = <i>vērtību</i></b> jebkuram no šiem URL (obligāts tikai maksājuma…
/dports/www/dolibarr13/dolibarr-13.0.5/htdocs/langs/lv_LV/
H A Dexports.lang56 DownloadEmptyExample=Lejupielādēt veidlapas failu ar lauka satura informāciju (* ir obligāti aizpil…
61 FieldsInTargetDatabase=Mērķa lauki Dolibarr datu bāzē (treknrakstā = obligāti)
76 SomeMandatoryFieldHaveNoSource=Daži obligātie lauki nav avotu, no datu faila
100 SourceRequired=Datu vērtība ir obligāta
H A Derrors.lang29 ErrorProdIdIsMandatory=%s ir obligāti
208 ErrorModuleFileSeemsToHaveAWrongFormat2=Vismaz vienam obligātajam direktorijam jābūt moduļa <strong…
223 ErrorDescRequiredForFreeProductLines=Apraksts ir obligāts līnijām ar bezmaksas produktu
239 ErrorLanguageMandatoryIfPageSetAsTranslationOfAnother=Kļūda, valoda ir obligāta, ja lapu iestatāt k…
262 WarningMandatorySetupNotComplete=Noklikšķiniet šeit, lai iestatītu obligātos parametrus
/dports/print/latex2rtf/latex2rtf-2.3.17/test/
H A Dbabel_frenchb.tex36 et ne sont pas g�n�ralement oblig�s � la chastet� ou � la pauvret�.
/dports/textproc/p5-Lingua-Stem-Snowball/Lingua-Stem-Snowball-0.952/t/test_voc/
H A Dfr.utf832 obligeant oblig
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_trait_selection/src/traits/specialize/
H A Dmod.rs225 for oblig in obligations.chain(more_obligations) { in fulfill_implication()
226 fulfill_cx.register_predicate_obligation(&infcx, oblig); in fulfill_implication()
/dports/sysutils/gconf-editor/gconf-editor-3.0.1/po/
H A Dlv.po157 "Rediģējot sistēmas obligātos iestatījumus atvērt jaunu konfigurācijas "
266 msgstr "Iestatīt kā obligātu"
270 msgstr "Iestatīt izvēlēto atslēgu kā obligātu"
278 msgstr "Konfigurācijas redaktors (obligātie iestatījumi)"
/dports/games/scummvm/scummvm-2.5.1/devtools/create_ultima/files/ultima8/
H A Du8french.ini20 …r. Mais j'ai vu l'amour qui brusloit dans les yeux de Kalen et me sentois oblig� d'essayer. J'ai e…
/dports/audio/x42-plugins-lv2/x42-plugins-20211016/
H A Dplugin.news68 * Add oblig. amen break
/dports/www/sogo/SOGo-5.4.0/SoObjects/Appointments/Latvian.lproj/
H A DLocalizable.strings78 "Your participation is optional to this event" = "Jūsu dalība šajā pasākumā nav obligāta";
/dports/www/sogo-activesync/SOGo-5.4.0/SoObjects/Appointments/Latvian.lproj/
H A DLocalizable.strings78 "Your participation is optional to this event" = "Jūsu dalība šajā pasākumā nav obligāta";
/dports/www/sogo2/SOGo-2.4.1/SoObjects/Appointments/Latvian.lproj/
H A DLocalizable.strings78 "Your participation is optional to this event" = "Jūsu dalība šajā pasākumā nav obligāta";
/dports/math/giacxcas/giac-1.6.0/check/
H A DTP12-sol.cas77 /* On n'etait pas oblig\'e de trouver l'inverse de z, on utilise que z^(q-2)*z=1*/

12345678910>>...13