Searched refs:inf_unit (Results 1 – 14 of 14) sorted by relevance
113 m2 = c.inf_unit()118 m2 = c.inf_unit()123 m2 = c.inf_unit()
1265 mark_t inf_unit() const;2191 mark_t inf_unit() const in inf_unit() function in spot::acc_cond2193 return code_.inf_unit(); in inf_unit()
2940 acc_cond::mark_t acc_cond::acc_code::inf_unit() const in inf_unit() function in spot::acc_cond::acc_code
89 if (acc_cond::mark_t fu = cond.inf_unit()) in max_models()
1180 inf_unit = _swig_new_instance_method(_impl.acc_cond_inf_unit) variable in acc_cond1301 inf_unit = _swig_new_instance_method(_impl.acc_code_inf_unit) variable in acc_code
47293 result = ((spot::acc_cond const *)arg1)->inf_unit(); in _wrap_acc_cond_inf_unit()51538 result = ((spot::acc_cond::acc_code const *)arg1)->inf_unit(); in _wrap_acc_code_inf_unit()
979 acc: introduce inf_unit()