Searched defs:top_conjuncts (Results 1 – 4 of 4) sorted by relevance
1582 std::vector<acc_cond::acc_code> acc_cond::acc_code::top_conjuncts() const in top_conjuncts() function in spot::acc_cond::acc_code1599 std::vector<acc_cond> acc_cond::top_conjuncts() const in top_conjuncts() function in spot::acc_cond
1184 top_conjuncts = _swig_new_instance_method(_impl.acc_cond_top_conjuncts) variable in acc_cond1298 top_conjuncts = _swig_new_instance_method(_impl.acc_code_top_conjuncts) variable in acc_code