Home
last modified time | relevance | path

Searched refs:pfl_ (Results 1 – 3 of 3) sorted by relevance

/dports/math/spot/spot-2.10.2/spot/twaalgos/
H A Dltl2tgba_fm.cc1730 pfl_map::const_iterator i = pfl_.find(f); in check()
1731 if (i != pfl_.end()) in check()
1733 return pfl_[f] = ltl_possible_fair_loop_check(f); in check()
1738 pfl_map pfl_; member in spot::__anondce7ba830111::possible_fair_loop_checker
/dports/math/py-spot/spot-2.10.2/spot/twaalgos/
H A Dltl2tgba_fm.cc1730 pfl_map::const_iterator i = pfl_.find(f); in check()
1731 if (i != pfl_.end()) in check()
1733 return pfl_[f] = ltl_possible_fair_loop_check(f); in check()
1738 pfl_map pfl_; member in spot::__anonfbf787990111::possible_fair_loop_checker
/dports/multimedia/transcode/transcode-1.1.7/filter/subtitler/
H A Dfilter_subtitler.c102 int tc_filter(frame_list_t *pfl_, char *options) in tc_filter() argument
104 vframe_list_t *pfl = (vframe_list_t *)pfl_; in tc_filter()