| /dports/math/spot/spot-2.10.2/spot/tl/ |
| H A D | mark.cc | 49 case op::NegClosureMarked: in mark_concat_ops()
67 res = formula::NegClosureMarked(f[0]); in mark_concat_ops()
118 case op::NegClosureMarked: in simplify_mark()
151 else if (c.is(op::NegClosureMarked)) in simplify_mark()
|
| H A D | snf.cc | 111 case op::NegClosureMarked: in visit()
|
| H A D | dot.cc | 98 case op::NegClosureMarked: in rec()
|
| H A D | print.cc | 552 case op::NegClosureMarked: in visit()
554 if (o == op::NegClosureMarked) in visit()
1140 case op::NegClosureMarked: in visit()
|
| H A D | unabbrev.cc | 103 case op::NegClosureMarked: in run()
|
| H A D | formula.hh | 91 NegClosureMarked, ///< marked version of the Negated PSL Closure enumerator
990 SPOT_DEF_UNOP(NegClosureMarked);
1729 case op::NegClosureMarked: in map()
|
| H A D | formula.cc | 242 C(NegClosureMarked); in kindstr()
831 if (fop == op::NegClosure || fop == op::NegClosureMarked) in unop()
866 case op::NegClosureMarked: in unop()
1298 case op::NegClosureMarked: in setup_props()
|
| H A D | mutation.cc | 94 case op::NegClosureMarked: in mutate()
|
| H A D | simplify.cc | 542 case op::NegClosureMarked: in nenoform_rec()
1452 case op::NegClosureMarked: in visit()
|
| /dports/math/py-spot/spot-2.10.2/spot/tl/ |
| H A D | mark.cc | 49 case op::NegClosureMarked: in mark_concat_ops()
67 res = formula::NegClosureMarked(f[0]); in mark_concat_ops()
118 case op::NegClosureMarked: in simplify_mark()
151 else if (c.is(op::NegClosureMarked)) in simplify_mark()
|
| H A D | snf.cc | 111 case op::NegClosureMarked: in visit()
|
| H A D | dot.cc | 98 case op::NegClosureMarked: in rec()
|
| H A D | print.cc | 552 case op::NegClosureMarked: in visit()
554 if (o == op::NegClosureMarked) in visit()
1140 case op::NegClosureMarked: in visit()
|
| H A D | unabbrev.cc | 103 case op::NegClosureMarked: in run()
|
| H A D | formula.hh | 91 NegClosureMarked, ///< marked version of the Negated PSL Closure enumerator
990 SPOT_DEF_UNOP(NegClosureMarked);
1729 case op::NegClosureMarked: in map()
|
| H A D | formula.cc | 242 C(NegClosureMarked); in kindstr()
831 if (fop == op::NegClosure || fop == op::NegClosureMarked) in unop()
866 case op::NegClosureMarked: in unop()
1298 case op::NegClosureMarked: in setup_props()
|
| H A D | mutation.cc | 94 case op::NegClosureMarked: in mutate()
|
| H A D | simplify.cc | 542 case op::NegClosureMarked: in nenoform_rec()
1452 case op::NegClosureMarked: in visit()
|
| /dports/math/spot/spot-2.10.2/spot/twa/ |
| H A D | formula2bdd.cc | 90 case op::NegClosureMarked: in formula_to_bdd()
|
| /dports/math/py-spot/spot-2.10.2/spot/twa/ |
| H A D | formula2bdd.cc | 90 case op::NegClosureMarked: in formula_to_bdd()
|
| /dports/math/spot/spot-2.10.2/spot/twaalgos/ |
| H A D | ltl2taa.cc | 111 case op::NegClosureMarked: in visit()
|
| H A D | ltl2tgba_fm.cc | 609 case op::NegClosureMarked: in visit()
1308 case op::NegClosureMarked: in visit()
1316 o = op::NegClosureMarked; in visit()
|
| /dports/math/py-spot/spot-2.10.2/spot/twaalgos/ |
| H A D | ltl2taa.cc | 111 case op::NegClosureMarked: in visit()
|
| H A D | ltl2tgba_fm.cc | 609 case op::NegClosureMarked: in visit()
1308 case op::NegClosureMarked: in visit()
1316 o = op::NegClosureMarked; in visit()
|
| /dports/math/spot/spot-2.10.2/python/spot/ |
| H A D | impl.py | 240 NegClosureMarked = _swig_new_static_method(_impl.formula_NegClosureMarked) variable in formula
|