Home
last modified time | relevance | path

Searched defs:oblig (Results 1 – 6 of 6) sorted by relevance

/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()
63 vec oblig; in visit() local
280 bool oblig) in compsusp()
/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()
63 vec oblig; in visit() local
280 bool oblig) in compsusp()
/dports/security/p5-Net-SAML/zxid-1.42/
H A Dzxidwsf.c576 char* oblig; in zxid_eval_sol1() local
H A Dzxidconf.c378 char* oblig; in zxid_load_need() local
H A Dzxid.h579 char* oblig; /* Obligations we are willing or able to honour */ member
/dports/x11-toolkits/gtk40/gtk-4.4.1/docs/reference/gtk/gtk4/
H A Dindex.json1 …type":"alias","name":"Allocation","ctype":"GtkAllocation","summary":"The rectangle representing th… array