1# This file was automatically generated by SWIG (http://www.swig.org).
2# Version 4.0.2
3#
4# Do not make changes to this file unless you know what you are doing--modify
5# the SWIG interface file instead.
6
7from sys import version_info as _swig_python_version_info
8if _swig_python_version_info < (2, 7, 0):
9    raise RuntimeError("Python 2.7 or later required")
10
11# Import the low-level C/C++ module
12if __package__ or "." in __name__:
13    from . import _impl
14else:
15    import _impl
16
17try:
18    import builtins as __builtin__
19except ImportError:
20    import __builtin__
21
22_swig_new_instance_method = _impl.SWIG_PyInstanceMethod_New
23_swig_new_static_method = _impl.SWIG_PyStaticMethod_New
24
25def _swig_repr(self):
26    try:
27        strthis = "proxy of " + self.this.__repr__()
28    except __builtin__.Exception:
29        strthis = ""
30    return "<%s.%s; %s >" % (self.__class__.__module__, self.__class__.__name__, strthis,)
31
32
33def _swig_setattr_nondynamic_instance_variable(set):
34    def set_instance_attr(self, name, value):
35        if name == "thisown":
36            self.this.own(value)
37        elif name == "this":
38            set(self, name, value)
39        elif hasattr(self, name) and isinstance(getattr(type(self), name), property):
40            set(self, name, value)
41        else:
42            raise AttributeError("You cannot add instance attributes to %s" % self)
43    return set_instance_attr
44
45
46def _swig_setattr_nondynamic_class_variable(set):
47    def set_class_attr(cls, name, value):
48        if hasattr(cls, name) and not isinstance(getattr(cls, name), property):
49            set(cls, name, value)
50        else:
51            raise AttributeError("You cannot add class attributes to %s" % cls)
52    return set_class_attr
53
54
55def _swig_add_metaclass(metaclass):
56    """Class decorator for adding a metaclass to a SWIG wrapped class - a slimmed down version of six.add_metaclass"""
57    def wrapper(cls):
58        return metaclass(cls.__name__, cls.__bases__, cls.__dict__.copy())
59    return wrapper
60
61
62class _SwigNonDynamicMeta(type):
63    """Meta class to enforce nondynamic attributes (no new attributes) for a class"""
64    __setattr__ = _swig_setattr_nondynamic_class_variable(type.__setattr__)
65
66
67SHARED_PTR_DISOWN = _impl.SHARED_PTR_DISOWN
68class SwigPyIterator(object):
69    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
70
71    def __init__(self, *args, **kwargs):
72        raise AttributeError("No constructor defined - class is abstract")
73    __repr__ = _swig_repr
74    __swig_destroy__ = _impl.delete_SwigPyIterator
75    value = _swig_new_instance_method(_impl.SwigPyIterator_value)
76    incr = _swig_new_instance_method(_impl.SwigPyIterator_incr)
77    decr = _swig_new_instance_method(_impl.SwigPyIterator_decr)
78    distance = _swig_new_instance_method(_impl.SwigPyIterator_distance)
79    equal = _swig_new_instance_method(_impl.SwigPyIterator_equal)
80    copy = _swig_new_instance_method(_impl.SwigPyIterator_copy)
81    next = _swig_new_instance_method(_impl.SwigPyIterator_next)
82    __next__ = _swig_new_instance_method(_impl.SwigPyIterator___next__)
83    previous = _swig_new_instance_method(_impl.SwigPyIterator_previous)
84    advance = _swig_new_instance_method(_impl.SwigPyIterator_advance)
85    __eq__ = _swig_new_instance_method(_impl.SwigPyIterator___eq__)
86    __ne__ = _swig_new_instance_method(_impl.SwigPyIterator___ne__)
87    __iadd__ = _swig_new_instance_method(_impl.SwigPyIterator___iadd__)
88    __isub__ = _swig_new_instance_method(_impl.SwigPyIterator___isub__)
89    __add__ = _swig_new_instance_method(_impl.SwigPyIterator___add__)
90    __sub__ = _swig_new_instance_method(_impl.SwigPyIterator___sub__)
91    def __iter__(self):
92        return self
93
94# Register SwigPyIterator in _impl:
95_impl.SwigPyIterator_swigregister(SwigPyIterator)
96
97import buddy
98class parse_error(object):
99    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
100    __repr__ = _swig_repr
101
102    def __init__(self, s: "std::string const &"):
103        _impl.parse_error_swiginit(self, _impl.new_parse_error(s))
104    __swig_destroy__ = _impl.delete_parse_error
105
106# Register parse_error in _impl:
107_impl.parse_error_swigregister(parse_error)
108
109version = _impl.version
110class minato_isop(object):
111    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
112    __repr__ = _swig_repr
113
114    def __init__(self, *args):
115        _impl.minato_isop_swiginit(self, _impl.new_minato_isop(*args))
116    next = _swig_new_instance_method(_impl.minato_isop_next)
117    __swig_destroy__ = _impl.delete_minato_isop
118
119# Register minato_isop in _impl:
120_impl.minato_isop_swigregister(minato_isop)
121
122class option_map(object):
123    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
124    __repr__ = _swig_repr
125    parse_options = _swig_new_instance_method(_impl.option_map_parse_options)
126    get = _swig_new_instance_method(_impl.option_map_get)
127    get_str = _swig_new_instance_method(_impl.option_map_get_str)
128    set_str = _swig_new_instance_method(_impl.option_map_set_str)
129    report_unused_options = _swig_new_instance_method(_impl.option_map_report_unused_options)
130    set = _swig_new_instance_method(_impl.option_map_set)
131
132    def __init__(self):
133        _impl.option_map_swiginit(self, _impl.new_option_map())
134    __swig_destroy__ = _impl.delete_option_map
135
136# Register option_map in _impl:
137_impl.option_map_swigregister(option_map)
138
139srand = _impl.srand
140rrand = _impl.rrand
141mrand = _impl.mrand
142drand = _impl.drand
143nrand = _impl.nrand
144escape_rfc4180 = _impl.escape_rfc4180
145escape_latex = _impl.escape_latex
146escape_html = _impl.escape_html
147escape_str = _impl.escape_str
148quote_shell_string = _impl.quote_shell_string
149class trival(object):
150    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
151    no_value = _impl.trival_no_value
152    maybe_value = _impl.trival_maybe_value
153    yes_value = _impl.trival_yes_value
154
155    def __init__(self, *args):
156        _impl.trival_swiginit(self, _impl.new_trival(*args))
157    maybe = _swig_new_static_method(_impl.trival_maybe)
158    is_known = _swig_new_instance_method(_impl.trival_is_known)
159    is_maybe = _swig_new_instance_method(_impl.trival_is_maybe)
160    is_true = _swig_new_instance_method(_impl.trival_is_true)
161    is_false = _swig_new_instance_method(_impl.trival_is_false)
162    val = _swig_new_instance_method(_impl.trival_val)
163
164    def __nonzero__(self):
165        return _impl.trival___nonzero__(self)
166    __bool__ = __nonzero__
167
168
169    __repr__ = _swig_new_instance_method(_impl.trival___repr__)
170    __str__ = _swig_new_instance_method(_impl.trival___str__)
171    __neg__ = _swig_new_instance_method(_impl.trival___neg__)
172    __and__ = _swig_new_instance_method(_impl.trival___and__)
173    __or__ = _swig_new_instance_method(_impl.trival___or__)
174    __eq__ = _swig_new_instance_method(_impl.trival___eq__)
175    __ne__ = _swig_new_instance_method(_impl.trival___ne__)
176    __swig_destroy__ = _impl.delete_trival
177
178# Register trival in _impl:
179_impl.trival_swigregister(trival)
180trival_maybe = _impl.trival_maybe
181
182op_ff = _impl.op_ff
183op_tt = _impl.op_tt
184op_eword = _impl.op_eword
185op_ap = _impl.op_ap
186op_Not = _impl.op_Not
187op_X = _impl.op_X
188op_F = _impl.op_F
189op_G = _impl.op_G
190op_Closure = _impl.op_Closure
191op_NegClosure = _impl.op_NegClosure
192op_NegClosureMarked = _impl.op_NegClosureMarked
193op_Xor = _impl.op_Xor
194op_Implies = _impl.op_Implies
195op_Equiv = _impl.op_Equiv
196op_U = _impl.op_U
197op_R = _impl.op_R
198op_W = _impl.op_W
199op_M = _impl.op_M
200op_EConcat = _impl.op_EConcat
201op_EConcatMarked = _impl.op_EConcatMarked
202op_UConcat = _impl.op_UConcat
203op_Or = _impl.op_Or
204op_OrRat = _impl.op_OrRat
205op_And = _impl.op_And
206op_AndRat = _impl.op_AndRat
207op_AndNLM = _impl.op_AndNLM
208op_Concat = _impl.op_Concat
209op_Fusion = _impl.op_Fusion
210op_Star = _impl.op_Star
211op_FStar = _impl.op_FStar
212op_first_match = _impl.op_first_match
213class formula(object):
214    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
215
216    def __init__(self, *args):
217        _impl.formula_swiginit(self, _impl.new_formula(*args))
218    __swig_destroy__ = _impl.delete_formula
219    __lt__ = _swig_new_instance_method(_impl.formula___lt__)
220    __le__ = _swig_new_instance_method(_impl.formula___le__)
221    __gt__ = _swig_new_instance_method(_impl.formula___gt__)
222    __ge__ = _swig_new_instance_method(_impl.formula___ge__)
223    __eq__ = _swig_new_instance_method(_impl.formula___eq__)
224    __ne__ = _swig_new_instance_method(_impl.formula___ne__)
225
226    def __nonzero__(self):
227        return _impl.formula___nonzero__(self)
228    __bool__ = __nonzero__
229
230
231    unbounded = _swig_new_static_method(_impl.formula_unbounded)
232    ap = _swig_new_static_method(_impl.formula_ap)
233    unop = _swig_new_static_method(_impl.formula_unop)
234    Not = _swig_new_static_method(_impl.formula_Not)
235    X = _swig_new_static_method(_impl.formula_X)
236    F = _swig_new_static_method(_impl.formula_F)
237    G = _swig_new_static_method(_impl.formula_G)
238    Closure = _swig_new_static_method(_impl.formula_Closure)
239    NegClosure = _swig_new_static_method(_impl.formula_NegClosure)
240    NegClosureMarked = _swig_new_static_method(_impl.formula_NegClosureMarked)
241    first_match = _swig_new_static_method(_impl.formula_first_match)
242    binop = _swig_new_static_method(_impl.formula_binop)
243    Xor = _swig_new_static_method(_impl.formula_Xor)
244    Implies = _swig_new_static_method(_impl.formula_Implies)
245    Equiv = _swig_new_static_method(_impl.formula_Equiv)
246    U = _swig_new_static_method(_impl.formula_U)
247    R = _swig_new_static_method(_impl.formula_R)
248    W = _swig_new_static_method(_impl.formula_W)
249    M = _swig_new_static_method(_impl.formula_M)
250    EConcat = _swig_new_static_method(_impl.formula_EConcat)
251    EConcatMarked = _swig_new_static_method(_impl.formula_EConcatMarked)
252    UConcat = _swig_new_static_method(_impl.formula_UConcat)
253    multop = _swig_new_static_method(_impl.formula_multop)
254    Or = _swig_new_static_method(_impl.formula_Or)
255    OrRat = _swig_new_static_method(_impl.formula_OrRat)
256    And = _swig_new_static_method(_impl.formula_And)
257    AndRat = _swig_new_static_method(_impl.formula_AndRat)
258    AndNLM = _swig_new_static_method(_impl.formula_AndNLM)
259    Concat = _swig_new_static_method(_impl.formula_Concat)
260    Fusion = _swig_new_static_method(_impl.formula_Fusion)
261    bunop = _swig_new_static_method(_impl.formula_bunop)
262    Star = _swig_new_static_method(_impl.formula_Star)
263    FStar = _swig_new_static_method(_impl.formula_FStar)
264    nested_unop_range = _swig_new_static_method(_impl.formula_nested_unop_range)
265    sugar_goto = _swig_new_static_method(_impl.formula_sugar_goto)
266    sugar_equal = _swig_new_static_method(_impl.formula_sugar_equal)
267    sugar_delay = _swig_new_static_method(_impl.formula_sugar_delay)
268    kind = _swig_new_instance_method(_impl.formula_kind)
269    kindstr = _swig_new_instance_method(_impl.formula_kindstr)
270    _is = _swig_new_instance_method(_impl.formula__is)
271    get_child_of = _swig_new_instance_method(_impl.formula_get_child_of)
272    min = _swig_new_instance_method(_impl.formula_min)
273    max = _swig_new_instance_method(_impl.formula_max)
274    size = _swig_new_instance_method(_impl.formula_size)
275    is_leaf = _swig_new_instance_method(_impl.formula_is_leaf)
276    id = _swig_new_instance_method(_impl.formula_id)
277    ff = _swig_new_static_method(_impl.formula_ff)
278    is_ff = _swig_new_instance_method(_impl.formula_is_ff)
279    tt = _swig_new_static_method(_impl.formula_tt)
280    is_tt = _swig_new_instance_method(_impl.formula_is_tt)
281    eword = _swig_new_static_method(_impl.formula_eword)
282    is_eword = _swig_new_instance_method(_impl.formula_is_eword)
283    is_constant = _swig_new_instance_method(_impl.formula_is_constant)
284    is_Kleene_star = _swig_new_instance_method(_impl.formula_is_Kleene_star)
285    one_star = _swig_new_static_method(_impl.formula_one_star)
286    is_literal = _swig_new_instance_method(_impl.formula_is_literal)
287    ap_name = _swig_new_instance_method(_impl.formula_ap_name)
288    dump = _swig_new_instance_method(_impl.formula_dump)
289    all_but = _swig_new_instance_method(_impl.formula_all_but)
290    boolean_count = _swig_new_instance_method(_impl.formula_boolean_count)
291    boolean_operands = _swig_new_instance_method(_impl.formula_boolean_operands)
292    is_boolean = _swig_new_instance_method(_impl.formula_is_boolean)
293    is_sugar_free_boolean = _swig_new_instance_method(_impl.formula_is_sugar_free_boolean)
294    is_in_nenoform = _swig_new_instance_method(_impl.formula_is_in_nenoform)
295    is_syntactic_stutter_invariant = _swig_new_instance_method(_impl.formula_is_syntactic_stutter_invariant)
296    is_sugar_free_ltl = _swig_new_instance_method(_impl.formula_is_sugar_free_ltl)
297    is_ltl_formula = _swig_new_instance_method(_impl.formula_is_ltl_formula)
298    is_psl_formula = _swig_new_instance_method(_impl.formula_is_psl_formula)
299    is_sere_formula = _swig_new_instance_method(_impl.formula_is_sere_formula)
300    is_finite = _swig_new_instance_method(_impl.formula_is_finite)
301    is_eventual = _swig_new_instance_method(_impl.formula_is_eventual)
302    is_universal = _swig_new_instance_method(_impl.formula_is_universal)
303    is_syntactic_safety = _swig_new_instance_method(_impl.formula_is_syntactic_safety)
304    is_syntactic_guarantee = _swig_new_instance_method(_impl.formula_is_syntactic_guarantee)
305    is_syntactic_obligation = _swig_new_instance_method(_impl.formula_is_syntactic_obligation)
306    is_syntactic_recurrence = _swig_new_instance_method(_impl.formula_is_syntactic_recurrence)
307    is_syntactic_persistence = _swig_new_instance_method(_impl.formula_is_syntactic_persistence)
308    is_marked = _swig_new_instance_method(_impl.formula_is_marked)
309    accepts_eword = _swig_new_instance_method(_impl.formula_accepts_eword)
310    has_lbt_atomic_props = _swig_new_instance_method(_impl.formula_has_lbt_atomic_props)
311    has_spin_atomic_props = _swig_new_instance_method(_impl.formula_has_spin_atomic_props)
312    __cmp__ = _swig_new_instance_method(_impl.formula___cmp__)
313    __hash__ = _swig_new_instance_method(_impl.formula___hash__)
314    __len__ = _swig_new_instance_method(_impl.formula___len__)
315    __getitem__ = _swig_new_instance_method(_impl.formula___getitem__)
316    __repr__ = _swig_new_instance_method(_impl.formula___repr__)
317    __str__ = _swig_new_instance_method(_impl.formula___str__)
318
319# Register formula in _impl:
320_impl.formula_swigregister(formula)
321formula_unbounded = _impl.formula_unbounded
322formula_ap = _impl.formula_ap
323formula_unop = _impl.formula_unop
324formula_Not = _impl.formula_Not
325formula_X = _impl.formula_X
326formula_F = _impl.formula_F
327formula_G = _impl.formula_G
328formula_Closure = _impl.formula_Closure
329formula_NegClosure = _impl.formula_NegClosure
330formula_NegClosureMarked = _impl.formula_NegClosureMarked
331formula_first_match = _impl.formula_first_match
332formula_binop = _impl.formula_binop
333formula_Xor = _impl.formula_Xor
334formula_Implies = _impl.formula_Implies
335formula_Equiv = _impl.formula_Equiv
336formula_U = _impl.formula_U
337formula_R = _impl.formula_R
338formula_W = _impl.formula_W
339formula_M = _impl.formula_M
340formula_EConcat = _impl.formula_EConcat
341formula_EConcatMarked = _impl.formula_EConcatMarked
342formula_UConcat = _impl.formula_UConcat
343formula_multop = _impl.formula_multop
344formula_Or = _impl.formula_Or
345formula_OrRat = _impl.formula_OrRat
346formula_And = _impl.formula_And
347formula_AndRat = _impl.formula_AndRat
348formula_AndNLM = _impl.formula_AndNLM
349formula_Concat = _impl.formula_Concat
350formula_Fusion = _impl.formula_Fusion
351formula_bunop = _impl.formula_bunop
352formula_Star = _impl.formula_Star
353formula_FStar = _impl.formula_FStar
354formula_nested_unop_range = _impl.formula_nested_unop_range
355formula_sugar_goto = _impl.formula_sugar_goto
356formula_sugar_equal = _impl.formula_sugar_equal
357formula_sugar_delay = _impl.formula_sugar_delay
358formula_ff = _impl.formula_ff
359formula_tt = _impl.formula_tt
360formula_eword = _impl.formula_eword
361formula_one_star = _impl.formula_one_star
362
363print_formula_props = _impl.print_formula_props
364list_formula_props = _impl.list_formula_props
365class liststr(object):
366    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
367    __repr__ = _swig_repr
368    iterator = _swig_new_instance_method(_impl.liststr_iterator)
369    def __iter__(self):
370        return self.iterator()
371    __nonzero__ = _swig_new_instance_method(_impl.liststr___nonzero__)
372    __bool__ = _swig_new_instance_method(_impl.liststr___bool__)
373    __len__ = _swig_new_instance_method(_impl.liststr___len__)
374    __getslice__ = _swig_new_instance_method(_impl.liststr___getslice__)
375    __setslice__ = _swig_new_instance_method(_impl.liststr___setslice__)
376    __delslice__ = _swig_new_instance_method(_impl.liststr___delslice__)
377    __delitem__ = _swig_new_instance_method(_impl.liststr___delitem__)
378    __getitem__ = _swig_new_instance_method(_impl.liststr___getitem__)
379    __setitem__ = _swig_new_instance_method(_impl.liststr___setitem__)
380    pop = _swig_new_instance_method(_impl.liststr_pop)
381    append = _swig_new_instance_method(_impl.liststr_append)
382    empty = _swig_new_instance_method(_impl.liststr_empty)
383    size = _swig_new_instance_method(_impl.liststr_size)
384    swap = _swig_new_instance_method(_impl.liststr_swap)
385    begin = _swig_new_instance_method(_impl.liststr_begin)
386    end = _swig_new_instance_method(_impl.liststr_end)
387    rbegin = _swig_new_instance_method(_impl.liststr_rbegin)
388    rend = _swig_new_instance_method(_impl.liststr_rend)
389    clear = _swig_new_instance_method(_impl.liststr_clear)
390    get_allocator = _swig_new_instance_method(_impl.liststr_get_allocator)
391    pop_back = _swig_new_instance_method(_impl.liststr_pop_back)
392    erase = _swig_new_instance_method(_impl.liststr_erase)
393
394    def __init__(self, *args):
395        _impl.liststr_swiginit(self, _impl.new_liststr(*args))
396    push_back = _swig_new_instance_method(_impl.liststr_push_back)
397    front = _swig_new_instance_method(_impl.liststr_front)
398    back = _swig_new_instance_method(_impl.liststr_back)
399    assign = _swig_new_instance_method(_impl.liststr_assign)
400    resize = _swig_new_instance_method(_impl.liststr_resize)
401    insert = _swig_new_instance_method(_impl.liststr_insert)
402    pop_front = _swig_new_instance_method(_impl.liststr_pop_front)
403    push_front = _swig_new_instance_method(_impl.liststr_push_front)
404    reverse = _swig_new_instance_method(_impl.liststr_reverse)
405    __swig_destroy__ = _impl.delete_liststr
406
407# Register liststr in _impl:
408_impl.liststr_swigregister(liststr)
409
410class pairunsigned(object):
411    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
412    __repr__ = _swig_repr
413
414    def __init__(self, *args):
415        _impl.pairunsigned_swiginit(self, _impl.new_pairunsigned(*args))
416    first = property(_impl.pairunsigned_first_get, _impl.pairunsigned_first_set)
417    second = property(_impl.pairunsigned_second_get, _impl.pairunsigned_second_set)
418    def __len__(self):
419        return 2
420    def __repr__(self):
421        return str((self.first, self.second))
422    def __getitem__(self, index):
423        if not (index % 2):
424            return self.first
425        else:
426            return self.second
427    def __setitem__(self, index, val):
428        if not (index % 2):
429            self.first = val
430        else:
431            self.second = val
432    __swig_destroy__ = _impl.delete_pairunsigned
433
434# Register pairunsigned in _impl:
435_impl.pairunsigned_swigregister(pairunsigned)
436
437class pairmark_t(object):
438    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
439    __repr__ = _swig_repr
440
441    def __init__(self, *args):
442        _impl.pairmark_t_swiginit(self, _impl.new_pairmark_t(*args))
443    first = property(_impl.pairmark_t_first_get, _impl.pairmark_t_first_set)
444    second = property(_impl.pairmark_t_second_get, _impl.pairmark_t_second_set)
445    def __len__(self):
446        return 2
447    def __repr__(self):
448        return str((self.first, self.second))
449    def __getitem__(self, index):
450        if not (index % 2):
451            return self.first
452        else:
453            return self.second
454    def __setitem__(self, index, val):
455        if not (index % 2):
456            self.first = val
457        else:
458            self.second = val
459    __swig_destroy__ = _impl.delete_pairmark_t
460
461# Register pairmark_t in _impl:
462_impl.pairmark_t_swigregister(pairmark_t)
463
464class pairintacccode(object):
465    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
466    __repr__ = _swig_repr
467
468    def __init__(self, *args):
469        _impl.pairintacccode_swiginit(self, _impl.new_pairintacccode(*args))
470    first = property(_impl.pairintacccode_first_get, _impl.pairintacccode_first_set)
471    second = property(_impl.pairintacccode_second_get, _impl.pairintacccode_second_set)
472    def __len__(self):
473        return 2
474    def __repr__(self):
475        return str((self.first, self.second))
476    def __getitem__(self, index):
477        if not (index % 2):
478            return self.first
479        else:
480            return self.second
481    def __setitem__(self, index, val):
482        if not (index % 2):
483            self.first = val
484        else:
485            self.second = val
486    __swig_destroy__ = _impl.delete_pairintacccode
487
488# Register pairintacccode in _impl:
489_impl.pairintacccode_swigregister(pairintacccode)
490
491class pairintacccond(object):
492    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
493    __repr__ = _swig_repr
494
495    def __init__(self, *args):
496        _impl.pairintacccond_swiginit(self, _impl.new_pairintacccond(*args))
497    first = property(_impl.pairintacccond_first_get, _impl.pairintacccond_first_set)
498    second = property(_impl.pairintacccond_second_get, _impl.pairintacccond_second_set)
499    def __len__(self):
500        return 2
501    def __repr__(self):
502        return str((self.first, self.second))
503    def __getitem__(self, index):
504        if not (index % 2):
505            return self.first
506        else:
507            return self.second
508    def __setitem__(self, index, val):
509        if not (index % 2):
510            self.first = val
511        else:
512            self.second = val
513    __swig_destroy__ = _impl.delete_pairintacccond
514
515# Register pairintacccond in _impl:
516_impl.pairintacccond_swigregister(pairintacccond)
517
518class vectorformula(object):
519    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
520    __repr__ = _swig_repr
521    iterator = _swig_new_instance_method(_impl.vectorformula_iterator)
522    def __iter__(self):
523        return self.iterator()
524    __nonzero__ = _swig_new_instance_method(_impl.vectorformula___nonzero__)
525    __bool__ = _swig_new_instance_method(_impl.vectorformula___bool__)
526    __len__ = _swig_new_instance_method(_impl.vectorformula___len__)
527    __getslice__ = _swig_new_instance_method(_impl.vectorformula___getslice__)
528    __setslice__ = _swig_new_instance_method(_impl.vectorformula___setslice__)
529    __delslice__ = _swig_new_instance_method(_impl.vectorformula___delslice__)
530    __delitem__ = _swig_new_instance_method(_impl.vectorformula___delitem__)
531    __getitem__ = _swig_new_instance_method(_impl.vectorformula___getitem__)
532    __setitem__ = _swig_new_instance_method(_impl.vectorformula___setitem__)
533    pop = _swig_new_instance_method(_impl.vectorformula_pop)
534    append = _swig_new_instance_method(_impl.vectorformula_append)
535    empty = _swig_new_instance_method(_impl.vectorformula_empty)
536    size = _swig_new_instance_method(_impl.vectorformula_size)
537    swap = _swig_new_instance_method(_impl.vectorformula_swap)
538    begin = _swig_new_instance_method(_impl.vectorformula_begin)
539    end = _swig_new_instance_method(_impl.vectorformula_end)
540    rbegin = _swig_new_instance_method(_impl.vectorformula_rbegin)
541    rend = _swig_new_instance_method(_impl.vectorformula_rend)
542    clear = _swig_new_instance_method(_impl.vectorformula_clear)
543    get_allocator = _swig_new_instance_method(_impl.vectorformula_get_allocator)
544    pop_back = _swig_new_instance_method(_impl.vectorformula_pop_back)
545    erase = _swig_new_instance_method(_impl.vectorformula_erase)
546
547    def __init__(self, *args):
548        _impl.vectorformula_swiginit(self, _impl.new_vectorformula(*args))
549    push_back = _swig_new_instance_method(_impl.vectorformula_push_back)
550    front = _swig_new_instance_method(_impl.vectorformula_front)
551    back = _swig_new_instance_method(_impl.vectorformula_back)
552    assign = _swig_new_instance_method(_impl.vectorformula_assign)
553    resize = _swig_new_instance_method(_impl.vectorformula_resize)
554    insert = _swig_new_instance_method(_impl.vectorformula_insert)
555    reserve = _swig_new_instance_method(_impl.vectorformula_reserve)
556    capacity = _swig_new_instance_method(_impl.vectorformula_capacity)
557    __swig_destroy__ = _impl.delete_vectorformula
558
559# Register vectorformula in _impl:
560_impl.vectorformula_swigregister(vectorformula)
561
562class vectorunsigned(object):
563    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
564    __repr__ = _swig_repr
565    iterator = _swig_new_instance_method(_impl.vectorunsigned_iterator)
566    def __iter__(self):
567        return self.iterator()
568    __nonzero__ = _swig_new_instance_method(_impl.vectorunsigned___nonzero__)
569    __bool__ = _swig_new_instance_method(_impl.vectorunsigned___bool__)
570    __len__ = _swig_new_instance_method(_impl.vectorunsigned___len__)
571    __getslice__ = _swig_new_instance_method(_impl.vectorunsigned___getslice__)
572    __setslice__ = _swig_new_instance_method(_impl.vectorunsigned___setslice__)
573    __delslice__ = _swig_new_instance_method(_impl.vectorunsigned___delslice__)
574    __delitem__ = _swig_new_instance_method(_impl.vectorunsigned___delitem__)
575    __getitem__ = _swig_new_instance_method(_impl.vectorunsigned___getitem__)
576    __setitem__ = _swig_new_instance_method(_impl.vectorunsigned___setitem__)
577    pop = _swig_new_instance_method(_impl.vectorunsigned_pop)
578    append = _swig_new_instance_method(_impl.vectorunsigned_append)
579    empty = _swig_new_instance_method(_impl.vectorunsigned_empty)
580    size = _swig_new_instance_method(_impl.vectorunsigned_size)
581    swap = _swig_new_instance_method(_impl.vectorunsigned_swap)
582    begin = _swig_new_instance_method(_impl.vectorunsigned_begin)
583    end = _swig_new_instance_method(_impl.vectorunsigned_end)
584    rbegin = _swig_new_instance_method(_impl.vectorunsigned_rbegin)
585    rend = _swig_new_instance_method(_impl.vectorunsigned_rend)
586    clear = _swig_new_instance_method(_impl.vectorunsigned_clear)
587    get_allocator = _swig_new_instance_method(_impl.vectorunsigned_get_allocator)
588    pop_back = _swig_new_instance_method(_impl.vectorunsigned_pop_back)
589    erase = _swig_new_instance_method(_impl.vectorunsigned_erase)
590
591    def __init__(self, *args):
592        _impl.vectorunsigned_swiginit(self, _impl.new_vectorunsigned(*args))
593    push_back = _swig_new_instance_method(_impl.vectorunsigned_push_back)
594    front = _swig_new_instance_method(_impl.vectorunsigned_front)
595    back = _swig_new_instance_method(_impl.vectorunsigned_back)
596    assign = _swig_new_instance_method(_impl.vectorunsigned_assign)
597    resize = _swig_new_instance_method(_impl.vectorunsigned_resize)
598    insert = _swig_new_instance_method(_impl.vectorunsigned_insert)
599    reserve = _swig_new_instance_method(_impl.vectorunsigned_reserve)
600    capacity = _swig_new_instance_method(_impl.vectorunsigned_capacity)
601    __swig_destroy__ = _impl.delete_vectorunsigned
602
603# Register vectorunsigned in _impl:
604_impl.vectorunsigned_swigregister(vectorunsigned)
605
606class vectorpairunsigned(object):
607    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
608    __repr__ = _swig_repr
609    iterator = _swig_new_instance_method(_impl.vectorpairunsigned_iterator)
610    def __iter__(self):
611        return self.iterator()
612    __nonzero__ = _swig_new_instance_method(_impl.vectorpairunsigned___nonzero__)
613    __bool__ = _swig_new_instance_method(_impl.vectorpairunsigned___bool__)
614    __len__ = _swig_new_instance_method(_impl.vectorpairunsigned___len__)
615    __getslice__ = _swig_new_instance_method(_impl.vectorpairunsigned___getslice__)
616    __setslice__ = _swig_new_instance_method(_impl.vectorpairunsigned___setslice__)
617    __delslice__ = _swig_new_instance_method(_impl.vectorpairunsigned___delslice__)
618    __delitem__ = _swig_new_instance_method(_impl.vectorpairunsigned___delitem__)
619    __getitem__ = _swig_new_instance_method(_impl.vectorpairunsigned___getitem__)
620    __setitem__ = _swig_new_instance_method(_impl.vectorpairunsigned___setitem__)
621    pop = _swig_new_instance_method(_impl.vectorpairunsigned_pop)
622    append = _swig_new_instance_method(_impl.vectorpairunsigned_append)
623    empty = _swig_new_instance_method(_impl.vectorpairunsigned_empty)
624    size = _swig_new_instance_method(_impl.vectorpairunsigned_size)
625    swap = _swig_new_instance_method(_impl.vectorpairunsigned_swap)
626    begin = _swig_new_instance_method(_impl.vectorpairunsigned_begin)
627    end = _swig_new_instance_method(_impl.vectorpairunsigned_end)
628    rbegin = _swig_new_instance_method(_impl.vectorpairunsigned_rbegin)
629    rend = _swig_new_instance_method(_impl.vectorpairunsigned_rend)
630    clear = _swig_new_instance_method(_impl.vectorpairunsigned_clear)
631    get_allocator = _swig_new_instance_method(_impl.vectorpairunsigned_get_allocator)
632    pop_back = _swig_new_instance_method(_impl.vectorpairunsigned_pop_back)
633    erase = _swig_new_instance_method(_impl.vectorpairunsigned_erase)
634
635    def __init__(self, *args):
636        _impl.vectorpairunsigned_swiginit(self, _impl.new_vectorpairunsigned(*args))
637    push_back = _swig_new_instance_method(_impl.vectorpairunsigned_push_back)
638    front = _swig_new_instance_method(_impl.vectorpairunsigned_front)
639    back = _swig_new_instance_method(_impl.vectorpairunsigned_back)
640    assign = _swig_new_instance_method(_impl.vectorpairunsigned_assign)
641    resize = _swig_new_instance_method(_impl.vectorpairunsigned_resize)
642    insert = _swig_new_instance_method(_impl.vectorpairunsigned_insert)
643    reserve = _swig_new_instance_method(_impl.vectorpairunsigned_reserve)
644    capacity = _swig_new_instance_method(_impl.vectorpairunsigned_capacity)
645    __swig_destroy__ = _impl.delete_vectorpairunsigned
646
647# Register vectorpairunsigned in _impl:
648_impl.vectorpairunsigned_swigregister(vectorpairunsigned)
649
650class vectoracccond(object):
651    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
652    __repr__ = _swig_repr
653    iterator = _swig_new_instance_method(_impl.vectoracccond_iterator)
654    def __iter__(self):
655        return self.iterator()
656    __nonzero__ = _swig_new_instance_method(_impl.vectoracccond___nonzero__)
657    __bool__ = _swig_new_instance_method(_impl.vectoracccond___bool__)
658    __len__ = _swig_new_instance_method(_impl.vectoracccond___len__)
659    __getslice__ = _swig_new_instance_method(_impl.vectoracccond___getslice__)
660    __setslice__ = _swig_new_instance_method(_impl.vectoracccond___setslice__)
661    __delslice__ = _swig_new_instance_method(_impl.vectoracccond___delslice__)
662    __delitem__ = _swig_new_instance_method(_impl.vectoracccond___delitem__)
663    __getitem__ = _swig_new_instance_method(_impl.vectoracccond___getitem__)
664    __setitem__ = _swig_new_instance_method(_impl.vectoracccond___setitem__)
665    pop = _swig_new_instance_method(_impl.vectoracccond_pop)
666    append = _swig_new_instance_method(_impl.vectoracccond_append)
667    empty = _swig_new_instance_method(_impl.vectoracccond_empty)
668    size = _swig_new_instance_method(_impl.vectoracccond_size)
669    swap = _swig_new_instance_method(_impl.vectoracccond_swap)
670    begin = _swig_new_instance_method(_impl.vectoracccond_begin)
671    end = _swig_new_instance_method(_impl.vectoracccond_end)
672    rbegin = _swig_new_instance_method(_impl.vectoracccond_rbegin)
673    rend = _swig_new_instance_method(_impl.vectoracccond_rend)
674    clear = _swig_new_instance_method(_impl.vectoracccond_clear)
675    get_allocator = _swig_new_instance_method(_impl.vectoracccond_get_allocator)
676    pop_back = _swig_new_instance_method(_impl.vectoracccond_pop_back)
677    erase = _swig_new_instance_method(_impl.vectoracccond_erase)
678
679    def __init__(self, *args):
680        _impl.vectoracccond_swiginit(self, _impl.new_vectoracccond(*args))
681    push_back = _swig_new_instance_method(_impl.vectoracccond_push_back)
682    front = _swig_new_instance_method(_impl.vectoracccond_front)
683    back = _swig_new_instance_method(_impl.vectoracccond_back)
684    assign = _swig_new_instance_method(_impl.vectoracccond_assign)
685    resize = _swig_new_instance_method(_impl.vectoracccond_resize)
686    insert = _swig_new_instance_method(_impl.vectoracccond_insert)
687    reserve = _swig_new_instance_method(_impl.vectoracccond_reserve)
688    capacity = _swig_new_instance_method(_impl.vectoracccond_capacity)
689    __swig_destroy__ = _impl.delete_vectoracccond
690
691# Register vectoracccond in _impl:
692_impl.vectoracccond_swigregister(vectoracccond)
693
694class vectoracccode(object):
695    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
696    __repr__ = _swig_repr
697    iterator = _swig_new_instance_method(_impl.vectoracccode_iterator)
698    def __iter__(self):
699        return self.iterator()
700    __nonzero__ = _swig_new_instance_method(_impl.vectoracccode___nonzero__)
701    __bool__ = _swig_new_instance_method(_impl.vectoracccode___bool__)
702    __len__ = _swig_new_instance_method(_impl.vectoracccode___len__)
703    __getslice__ = _swig_new_instance_method(_impl.vectoracccode___getslice__)
704    __setslice__ = _swig_new_instance_method(_impl.vectoracccode___setslice__)
705    __delslice__ = _swig_new_instance_method(_impl.vectoracccode___delslice__)
706    __delitem__ = _swig_new_instance_method(_impl.vectoracccode___delitem__)
707    __getitem__ = _swig_new_instance_method(_impl.vectoracccode___getitem__)
708    __setitem__ = _swig_new_instance_method(_impl.vectoracccode___setitem__)
709    pop = _swig_new_instance_method(_impl.vectoracccode_pop)
710    append = _swig_new_instance_method(_impl.vectoracccode_append)
711    empty = _swig_new_instance_method(_impl.vectoracccode_empty)
712    size = _swig_new_instance_method(_impl.vectoracccode_size)
713    swap = _swig_new_instance_method(_impl.vectoracccode_swap)
714    begin = _swig_new_instance_method(_impl.vectoracccode_begin)
715    end = _swig_new_instance_method(_impl.vectoracccode_end)
716    rbegin = _swig_new_instance_method(_impl.vectoracccode_rbegin)
717    rend = _swig_new_instance_method(_impl.vectoracccode_rend)
718    clear = _swig_new_instance_method(_impl.vectoracccode_clear)
719    get_allocator = _swig_new_instance_method(_impl.vectoracccode_get_allocator)
720    pop_back = _swig_new_instance_method(_impl.vectoracccode_pop_back)
721    erase = _swig_new_instance_method(_impl.vectoracccode_erase)
722
723    def __init__(self, *args):
724        _impl.vectoracccode_swiginit(self, _impl.new_vectoracccode(*args))
725    push_back = _swig_new_instance_method(_impl.vectoracccode_push_back)
726    front = _swig_new_instance_method(_impl.vectoracccode_front)
727    back = _swig_new_instance_method(_impl.vectoracccode_back)
728    assign = _swig_new_instance_method(_impl.vectoracccode_assign)
729    resize = _swig_new_instance_method(_impl.vectoracccode_resize)
730    insert = _swig_new_instance_method(_impl.vectoracccode_insert)
731    reserve = _swig_new_instance_method(_impl.vectoracccode_reserve)
732    capacity = _swig_new_instance_method(_impl.vectoracccode_capacity)
733    __swig_destroy__ = _impl.delete_vectoracccode
734
735# Register vectoracccode in _impl:
736_impl.vectoracccode_swigregister(vectoracccode)
737
738class vectorbool(object):
739    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
740    __repr__ = _swig_repr
741    iterator = _swig_new_instance_method(_impl.vectorbool_iterator)
742    def __iter__(self):
743        return self.iterator()
744    __nonzero__ = _swig_new_instance_method(_impl.vectorbool___nonzero__)
745    __bool__ = _swig_new_instance_method(_impl.vectorbool___bool__)
746    __len__ = _swig_new_instance_method(_impl.vectorbool___len__)
747    __getslice__ = _swig_new_instance_method(_impl.vectorbool___getslice__)
748    __setslice__ = _swig_new_instance_method(_impl.vectorbool___setslice__)
749    __delslice__ = _swig_new_instance_method(_impl.vectorbool___delslice__)
750    __delitem__ = _swig_new_instance_method(_impl.vectorbool___delitem__)
751    __getitem__ = _swig_new_instance_method(_impl.vectorbool___getitem__)
752    __setitem__ = _swig_new_instance_method(_impl.vectorbool___setitem__)
753    pop = _swig_new_instance_method(_impl.vectorbool_pop)
754    append = _swig_new_instance_method(_impl.vectorbool_append)
755    empty = _swig_new_instance_method(_impl.vectorbool_empty)
756    size = _swig_new_instance_method(_impl.vectorbool_size)
757    swap = _swig_new_instance_method(_impl.vectorbool_swap)
758    begin = _swig_new_instance_method(_impl.vectorbool_begin)
759    end = _swig_new_instance_method(_impl.vectorbool_end)
760    rbegin = _swig_new_instance_method(_impl.vectorbool_rbegin)
761    rend = _swig_new_instance_method(_impl.vectorbool_rend)
762    clear = _swig_new_instance_method(_impl.vectorbool_clear)
763    get_allocator = _swig_new_instance_method(_impl.vectorbool_get_allocator)
764    pop_back = _swig_new_instance_method(_impl.vectorbool_pop_back)
765    erase = _swig_new_instance_method(_impl.vectorbool_erase)
766
767    def __init__(self, *args):
768        _impl.vectorbool_swiginit(self, _impl.new_vectorbool(*args))
769    push_back = _swig_new_instance_method(_impl.vectorbool_push_back)
770    front = _swig_new_instance_method(_impl.vectorbool_front)
771    back = _swig_new_instance_method(_impl.vectorbool_back)
772    assign = _swig_new_instance_method(_impl.vectorbool_assign)
773    resize = _swig_new_instance_method(_impl.vectorbool_resize)
774    insert = _swig_new_instance_method(_impl.vectorbool_insert)
775    reserve = _swig_new_instance_method(_impl.vectorbool_reserve)
776    capacity = _swig_new_instance_method(_impl.vectorbool_capacity)
777    __swig_destroy__ = _impl.delete_vectorbool
778
779# Register vectorbool in _impl:
780_impl.vectorbool_swigregister(vectorbool)
781
782class vectorbdd(object):
783    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
784    __repr__ = _swig_repr
785    iterator = _swig_new_instance_method(_impl.vectorbdd_iterator)
786    def __iter__(self):
787        return self.iterator()
788    __nonzero__ = _swig_new_instance_method(_impl.vectorbdd___nonzero__)
789    __bool__ = _swig_new_instance_method(_impl.vectorbdd___bool__)
790    __len__ = _swig_new_instance_method(_impl.vectorbdd___len__)
791    __getslice__ = _swig_new_instance_method(_impl.vectorbdd___getslice__)
792    __setslice__ = _swig_new_instance_method(_impl.vectorbdd___setslice__)
793    __delslice__ = _swig_new_instance_method(_impl.vectorbdd___delslice__)
794    __delitem__ = _swig_new_instance_method(_impl.vectorbdd___delitem__)
795    __getitem__ = _swig_new_instance_method(_impl.vectorbdd___getitem__)
796    __setitem__ = _swig_new_instance_method(_impl.vectorbdd___setitem__)
797    pop = _swig_new_instance_method(_impl.vectorbdd_pop)
798    append = _swig_new_instance_method(_impl.vectorbdd_append)
799    empty = _swig_new_instance_method(_impl.vectorbdd_empty)
800    size = _swig_new_instance_method(_impl.vectorbdd_size)
801    swap = _swig_new_instance_method(_impl.vectorbdd_swap)
802    begin = _swig_new_instance_method(_impl.vectorbdd_begin)
803    end = _swig_new_instance_method(_impl.vectorbdd_end)
804    rbegin = _swig_new_instance_method(_impl.vectorbdd_rbegin)
805    rend = _swig_new_instance_method(_impl.vectorbdd_rend)
806    clear = _swig_new_instance_method(_impl.vectorbdd_clear)
807    get_allocator = _swig_new_instance_method(_impl.vectorbdd_get_allocator)
808    pop_back = _swig_new_instance_method(_impl.vectorbdd_pop_back)
809    erase = _swig_new_instance_method(_impl.vectorbdd_erase)
810
811    def __init__(self, *args):
812        _impl.vectorbdd_swiginit(self, _impl.new_vectorbdd(*args))
813    push_back = _swig_new_instance_method(_impl.vectorbdd_push_back)
814    front = _swig_new_instance_method(_impl.vectorbdd_front)
815    back = _swig_new_instance_method(_impl.vectorbdd_back)
816    assign = _swig_new_instance_method(_impl.vectorbdd_assign)
817    resize = _swig_new_instance_method(_impl.vectorbdd_resize)
818    insert = _swig_new_instance_method(_impl.vectorbdd_insert)
819    reserve = _swig_new_instance_method(_impl.vectorbdd_reserve)
820    capacity = _swig_new_instance_method(_impl.vectorbdd_capacity)
821    __swig_destroy__ = _impl.delete_vectorbdd
822
823# Register vectorbdd in _impl:
824_impl.vectorbdd_swigregister(vectorbdd)
825
826class vectorstring(object):
827    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
828    __repr__ = _swig_repr
829    iterator = _swig_new_instance_method(_impl.vectorstring_iterator)
830    def __iter__(self):
831        return self.iterator()
832    __nonzero__ = _swig_new_instance_method(_impl.vectorstring___nonzero__)
833    __bool__ = _swig_new_instance_method(_impl.vectorstring___bool__)
834    __len__ = _swig_new_instance_method(_impl.vectorstring___len__)
835    __getslice__ = _swig_new_instance_method(_impl.vectorstring___getslice__)
836    __setslice__ = _swig_new_instance_method(_impl.vectorstring___setslice__)
837    __delslice__ = _swig_new_instance_method(_impl.vectorstring___delslice__)
838    __delitem__ = _swig_new_instance_method(_impl.vectorstring___delitem__)
839    __getitem__ = _swig_new_instance_method(_impl.vectorstring___getitem__)
840    __setitem__ = _swig_new_instance_method(_impl.vectorstring___setitem__)
841    pop = _swig_new_instance_method(_impl.vectorstring_pop)
842    append = _swig_new_instance_method(_impl.vectorstring_append)
843    empty = _swig_new_instance_method(_impl.vectorstring_empty)
844    size = _swig_new_instance_method(_impl.vectorstring_size)
845    swap = _swig_new_instance_method(_impl.vectorstring_swap)
846    begin = _swig_new_instance_method(_impl.vectorstring_begin)
847    end = _swig_new_instance_method(_impl.vectorstring_end)
848    rbegin = _swig_new_instance_method(_impl.vectorstring_rbegin)
849    rend = _swig_new_instance_method(_impl.vectorstring_rend)
850    clear = _swig_new_instance_method(_impl.vectorstring_clear)
851    get_allocator = _swig_new_instance_method(_impl.vectorstring_get_allocator)
852    pop_back = _swig_new_instance_method(_impl.vectorstring_pop_back)
853    erase = _swig_new_instance_method(_impl.vectorstring_erase)
854
855    def __init__(self, *args):
856        _impl.vectorstring_swiginit(self, _impl.new_vectorstring(*args))
857    push_back = _swig_new_instance_method(_impl.vectorstring_push_back)
858    front = _swig_new_instance_method(_impl.vectorstring_front)
859    back = _swig_new_instance_method(_impl.vectorstring_back)
860    assign = _swig_new_instance_method(_impl.vectorstring_assign)
861    resize = _swig_new_instance_method(_impl.vectorstring_resize)
862    insert = _swig_new_instance_method(_impl.vectorstring_insert)
863    reserve = _swig_new_instance_method(_impl.vectorstring_reserve)
864    capacity = _swig_new_instance_method(_impl.vectorstring_capacity)
865    __swig_destroy__ = _impl.delete_vectorstring
866
867# Register vectorstring in _impl:
868_impl.vectorstring_swigregister(vectorstring)
869
870class atomic_prop_set(object):
871    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
872    iterator = _swig_new_instance_method(_impl.atomic_prop_set_iterator)
873    def __iter__(self):
874        return self.iterator()
875    __nonzero__ = _swig_new_instance_method(_impl.atomic_prop_set___nonzero__)
876    __bool__ = _swig_new_instance_method(_impl.atomic_prop_set___bool__)
877    __len__ = _swig_new_instance_method(_impl.atomic_prop_set___len__)
878    append = _swig_new_instance_method(_impl.atomic_prop_set_append)
879    __contains__ = _swig_new_instance_method(_impl.atomic_prop_set___contains__)
880    __getitem__ = _swig_new_instance_method(_impl.atomic_prop_set___getitem__)
881    add = _swig_new_instance_method(_impl.atomic_prop_set_add)
882    discard = _swig_new_instance_method(_impl.atomic_prop_set_discard)
883
884    def __init__(self, *args):
885        _impl.atomic_prop_set_swiginit(self, _impl.new_atomic_prop_set(*args))
886    empty = _swig_new_instance_method(_impl.atomic_prop_set_empty)
887    size = _swig_new_instance_method(_impl.atomic_prop_set_size)
888    clear = _swig_new_instance_method(_impl.atomic_prop_set_clear)
889    swap = _swig_new_instance_method(_impl.atomic_prop_set_swap)
890    count = _swig_new_instance_method(_impl.atomic_prop_set_count)
891    begin = _swig_new_instance_method(_impl.atomic_prop_set_begin)
892    end = _swig_new_instance_method(_impl.atomic_prop_set_end)
893    rbegin = _swig_new_instance_method(_impl.atomic_prop_set_rbegin)
894    rend = _swig_new_instance_method(_impl.atomic_prop_set_rend)
895    erase = _swig_new_instance_method(_impl.atomic_prop_set_erase)
896    find = _swig_new_instance_method(_impl.atomic_prop_set_find)
897    lower_bound = _swig_new_instance_method(_impl.atomic_prop_set_lower_bound)
898    upper_bound = _swig_new_instance_method(_impl.atomic_prop_set_upper_bound)
899    equal_range = _swig_new_instance_method(_impl.atomic_prop_set_equal_range)
900    insert = _swig_new_instance_method(_impl.atomic_prop_set_insert)
901    __str__ = _swig_new_instance_method(_impl.atomic_prop_set___str__)
902    __repr__ = _swig_new_instance_method(_impl.atomic_prop_set___repr__)
903    __swig_destroy__ = _impl.delete_atomic_prop_set
904
905# Register atomic_prop_set in _impl:
906_impl.atomic_prop_set_swigregister(atomic_prop_set)
907
908class relabeling_map(object):
909    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
910    __repr__ = _swig_repr
911    iterator = _swig_new_instance_method(_impl.relabeling_map_iterator)
912    def __iter__(self):
913        return self.iterator()
914    __nonzero__ = _swig_new_instance_method(_impl.relabeling_map___nonzero__)
915    __bool__ = _swig_new_instance_method(_impl.relabeling_map___bool__)
916    __len__ = _swig_new_instance_method(_impl.relabeling_map___len__)
917    def __iter__(self):
918        return self.key_iterator()
919    def iterkeys(self):
920        return self.key_iterator()
921    def itervalues(self):
922        return self.value_iterator()
923    def iteritems(self):
924        return self.iterator()
925    __getitem__ = _swig_new_instance_method(_impl.relabeling_map___getitem__)
926    __delitem__ = _swig_new_instance_method(_impl.relabeling_map___delitem__)
927    has_key = _swig_new_instance_method(_impl.relabeling_map_has_key)
928    keys = _swig_new_instance_method(_impl.relabeling_map_keys)
929    values = _swig_new_instance_method(_impl.relabeling_map_values)
930    items = _swig_new_instance_method(_impl.relabeling_map_items)
931    __contains__ = _swig_new_instance_method(_impl.relabeling_map___contains__)
932    key_iterator = _swig_new_instance_method(_impl.relabeling_map_key_iterator)
933    value_iterator = _swig_new_instance_method(_impl.relabeling_map_value_iterator)
934    __setitem__ = _swig_new_instance_method(_impl.relabeling_map___setitem__)
935    asdict = _swig_new_instance_method(_impl.relabeling_map_asdict)
936
937    def __init__(self, *args):
938        _impl.relabeling_map_swiginit(self, _impl.new_relabeling_map(*args))
939    empty = _swig_new_instance_method(_impl.relabeling_map_empty)
940    size = _swig_new_instance_method(_impl.relabeling_map_size)
941    swap = _swig_new_instance_method(_impl.relabeling_map_swap)
942    begin = _swig_new_instance_method(_impl.relabeling_map_begin)
943    end = _swig_new_instance_method(_impl.relabeling_map_end)
944    rbegin = _swig_new_instance_method(_impl.relabeling_map_rbegin)
945    rend = _swig_new_instance_method(_impl.relabeling_map_rend)
946    clear = _swig_new_instance_method(_impl.relabeling_map_clear)
947    get_allocator = _swig_new_instance_method(_impl.relabeling_map_get_allocator)
948    count = _swig_new_instance_method(_impl.relabeling_map_count)
949    erase = _swig_new_instance_method(_impl.relabeling_map_erase)
950    find = _swig_new_instance_method(_impl.relabeling_map_find)
951    lower_bound = _swig_new_instance_method(_impl.relabeling_map_lower_bound)
952    upper_bound = _swig_new_instance_method(_impl.relabeling_map_upper_bound)
953    __swig_destroy__ = _impl.delete_relabeling_map
954
955# Register relabeling_map in _impl:
956_impl.relabeling_map_swigregister(relabeling_map)
957
958class environment(object):
959    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
960
961    def __init__(self, *args, **kwargs):
962        raise AttributeError("No constructor defined - class is abstract")
963    __repr__ = _swig_repr
964    require = _swig_new_instance_method(_impl.environment_require)
965    name = _swig_new_instance_method(_impl.environment_name)
966    __swig_destroy__ = _impl.delete_environment
967
968# Register environment in _impl:
969_impl.environment_swigregister(environment)
970
971class declarative_environment(environment):
972    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
973    __repr__ = _swig_repr
974
975    def __init__(self):
976        _impl.declarative_environment_swiginit(self, _impl.new_declarative_environment())
977    __swig_destroy__ = _impl.delete_declarative_environment
978    declare = _swig_new_instance_method(_impl.declarative_environment_declare)
979    get_prop_map = _swig_new_instance_method(_impl.declarative_environment_get_prop_map)
980
981# Register declarative_environment in _impl:
982_impl.declarative_environment_swigregister(declarative_environment)
983
984class default_environment(environment):
985    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
986
987    def __init__(self, *args, **kwargs):
988        raise AttributeError("No constructor defined")
989    __repr__ = _swig_repr
990    __swig_destroy__ = _impl.delete_default_environment
991    instance = _swig_new_static_method(_impl.default_environment_instance)
992
993# Register default_environment in _impl:
994_impl.default_environment_swigregister(default_environment)
995default_environment_instance = _impl.default_environment_instance
996
997class parse_error_list(object):
998    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
999    __repr__ = _swig_repr
1000    __nonzero__ = _swig_new_instance_method(_impl.parse_error_list___nonzero__)
1001    __bool__ = _swig_new_instance_method(_impl.parse_error_list___bool__)
1002
1003    def __init__(self):
1004        _impl.parse_error_list_swiginit(self, _impl.new_parse_error_list())
1005    __swig_destroy__ = _impl.delete_parse_error_list
1006
1007# Register parse_error_list in _impl:
1008_impl.parse_error_list_swigregister(parse_error_list)
1009
1010class parsed_formula(object):
1011    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1012    __repr__ = _swig_repr
1013    f = property(_impl.parsed_formula_f_get, _impl.parsed_formula_f_set)
1014    input = property(_impl.parsed_formula_input_get, _impl.parsed_formula_input_set)
1015    errors = property(_impl.parsed_formula_errors_get, _impl.parsed_formula_errors_set)
1016
1017    def __init__(self, *args):
1018        _impl.parsed_formula_swiginit(self, _impl.new_parsed_formula(*args))
1019    format_errors = _swig_new_instance_method(_impl.parsed_formula_format_errors)
1020    __swig_destroy__ = _impl.delete_parsed_formula
1021
1022# Register parsed_formula in _impl:
1023_impl.parsed_formula_swigregister(parsed_formula)
1024
1025parse_infix_psl = _impl.parse_infix_psl
1026parse_infix_boolean = _impl.parse_infix_boolean
1027parse_prefix_ltl = _impl.parse_prefix_ltl
1028parse_formula = _impl.parse_formula
1029parse_infix_sere = _impl.parse_infix_sere
1030fix_utf8_locations = _impl.fix_utf8_locations
1031class bdd_dict(object):
1032    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1033    __repr__ = _swig_repr
1034
1035    def __init__(self):
1036        _impl.bdd_dict_swiginit(self, _impl.new_bdd_dict())
1037    __swig_destroy__ = _impl.delete_bdd_dict
1038    var_map = property(_impl.bdd_dict_var_map_get, _impl.bdd_dict_var_map_set)
1039    acc_map = property(_impl.bdd_dict_acc_map_get, _impl.bdd_dict_acc_map_set)
1040    anon = _impl.bdd_dict_anon
1041    var = _impl.bdd_dict_var
1042    acc = _impl.bdd_dict_acc
1043    bdd_map = property(_impl.bdd_dict_bdd_map_get, _impl.bdd_dict_bdd_map_set)
1044    has_registered_proposition = _swig_new_instance_method(_impl.bdd_dict_has_registered_proposition)
1045    varnum = _swig_new_instance_method(_impl.bdd_dict_varnum)
1046    register_acceptance_variable = _swig_new_instance_method(_impl.bdd_dict_register_acceptance_variable)
1047    dump = _swig_new_instance_method(_impl.bdd_dict_dump)
1048    assert_emptiness = _swig_new_instance_method(_impl.bdd_dict_assert_emptiness)
1049    __eq__ = _swig_new_instance_method(_impl.bdd_dict___eq__)
1050    __ne__ = _swig_new_instance_method(_impl.bdd_dict___ne__)
1051    register_proposition = _swig_new_instance_method(_impl.bdd_dict_register_proposition)
1052    unregister_all_my_variables = _swig_new_instance_method(_impl.bdd_dict_unregister_all_my_variables)
1053    unregister_variable = _swig_new_instance_method(_impl.bdd_dict_unregister_variable)
1054    register_all_variables_of = _swig_new_instance_method(_impl.bdd_dict_register_all_variables_of)
1055    register_anonymous_variables = _swig_new_instance_method(_impl.bdd_dict_register_anonymous_variables)
1056
1057# Register bdd_dict in _impl:
1058_impl.bdd_dict_swigregister(bdd_dict)
1059
1060make_bdd_dict = _impl.make_bdd_dict
1061bdd_print_sat = _impl.bdd_print_sat
1062bdd_format_sat = _impl.bdd_format_sat
1063bdd_print_accset = _impl.bdd_print_accset
1064bdd_format_accset = _impl.bdd_format_accset
1065bdd_print_set = _impl.bdd_print_set
1066bdd_format_set = _impl.bdd_format_set
1067bdd_print_formula = _impl.bdd_print_formula
1068bdd_format_formula = _impl.bdd_format_formula
1069enable_utf8 = _impl.enable_utf8
1070bdd_format_isop = _impl.bdd_format_isop
1071bdd_print_isop = _impl.bdd_print_isop
1072formula_to_bdd = _impl.formula_to_bdd
1073bdd_to_formula = _impl.bdd_to_formula
1074class vector_rs_pair(object):
1075    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1076    __repr__ = _swig_repr
1077    iterator = _swig_new_instance_method(_impl.vector_rs_pair_iterator)
1078    def __iter__(self):
1079        return self.iterator()
1080    __nonzero__ = _swig_new_instance_method(_impl.vector_rs_pair___nonzero__)
1081    __bool__ = _swig_new_instance_method(_impl.vector_rs_pair___bool__)
1082    __len__ = _swig_new_instance_method(_impl.vector_rs_pair___len__)
1083    __getslice__ = _swig_new_instance_method(_impl.vector_rs_pair___getslice__)
1084    __setslice__ = _swig_new_instance_method(_impl.vector_rs_pair___setslice__)
1085    __delslice__ = _swig_new_instance_method(_impl.vector_rs_pair___delslice__)
1086    __delitem__ = _swig_new_instance_method(_impl.vector_rs_pair___delitem__)
1087    __getitem__ = _swig_new_instance_method(_impl.vector_rs_pair___getitem__)
1088    __setitem__ = _swig_new_instance_method(_impl.vector_rs_pair___setitem__)
1089    pop = _swig_new_instance_method(_impl.vector_rs_pair_pop)
1090    append = _swig_new_instance_method(_impl.vector_rs_pair_append)
1091    empty = _swig_new_instance_method(_impl.vector_rs_pair_empty)
1092    size = _swig_new_instance_method(_impl.vector_rs_pair_size)
1093    swap = _swig_new_instance_method(_impl.vector_rs_pair_swap)
1094    begin = _swig_new_instance_method(_impl.vector_rs_pair_begin)
1095    end = _swig_new_instance_method(_impl.vector_rs_pair_end)
1096    rbegin = _swig_new_instance_method(_impl.vector_rs_pair_rbegin)
1097    rend = _swig_new_instance_method(_impl.vector_rs_pair_rend)
1098    clear = _swig_new_instance_method(_impl.vector_rs_pair_clear)
1099    get_allocator = _swig_new_instance_method(_impl.vector_rs_pair_get_allocator)
1100    pop_back = _swig_new_instance_method(_impl.vector_rs_pair_pop_back)
1101    erase = _swig_new_instance_method(_impl.vector_rs_pair_erase)
1102
1103    def __init__(self, *args):
1104        _impl.vector_rs_pair_swiginit(self, _impl.new_vector_rs_pair(*args))
1105    push_back = _swig_new_instance_method(_impl.vector_rs_pair_push_back)
1106    front = _swig_new_instance_method(_impl.vector_rs_pair_front)
1107    back = _swig_new_instance_method(_impl.vector_rs_pair_back)
1108    assign = _swig_new_instance_method(_impl.vector_rs_pair_assign)
1109    resize = _swig_new_instance_method(_impl.vector_rs_pair_resize)
1110    insert = _swig_new_instance_method(_impl.vector_rs_pair_insert)
1111    reserve = _swig_new_instance_method(_impl.vector_rs_pair_reserve)
1112    capacity = _swig_new_instance_method(_impl.vector_rs_pair_capacity)
1113    __swig_destroy__ = _impl.delete_vector_rs_pair
1114
1115# Register vector_rs_pair in _impl:
1116_impl.vector_rs_pair_swigregister(vector_rs_pair)
1117
1118class acc_cond(object):
1119    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1120    has_parity_prefix = _swig_new_instance_method(_impl.acc_cond_has_parity_prefix)
1121    acc_op_Inf = _impl.acc_cond_acc_op_Inf
1122    acc_op_Fin = _impl.acc_cond_acc_op_Fin
1123    acc_op_InfNeg = _impl.acc_cond_acc_op_InfNeg
1124    acc_op_FinNeg = _impl.acc_cond_acc_op_FinNeg
1125    acc_op_And = _impl.acc_cond_acc_op_And
1126    acc_op_Or = _impl.acc_cond_acc_op_Or
1127
1128    def __init__(self, *args):
1129        _impl.acc_cond_swiginit(self, _impl.new_acc_cond(*args))
1130    __swig_destroy__ = _impl.delete_acc_cond
1131    set_acceptance = _swig_new_instance_method(_impl.acc_cond_set_acceptance)
1132    get_acceptance = _swig_new_instance_method(_impl.acc_cond_get_acceptance)
1133    __eq__ = _swig_new_instance_method(_impl.acc_cond___eq__)
1134    __ne__ = _swig_new_instance_method(_impl.acc_cond___ne__)
1135    uses_fin_acceptance = _swig_new_instance_method(_impl.acc_cond_uses_fin_acceptance)
1136    is_t = _swig_new_instance_method(_impl.acc_cond_is_t)
1137    is_all = _swig_new_instance_method(_impl.acc_cond_is_all)
1138    is_f = _swig_new_instance_method(_impl.acc_cond_is_f)
1139    is_none = _swig_new_instance_method(_impl.acc_cond_is_none)
1140    is_buchi = _swig_new_instance_method(_impl.acc_cond_is_buchi)
1141    is_co_buchi = _swig_new_instance_method(_impl.acc_cond_is_co_buchi)
1142    set_generalized_buchi = _swig_new_instance_method(_impl.acc_cond_set_generalized_buchi)
1143    set_generalized_co_buchi = _swig_new_instance_method(_impl.acc_cond_set_generalized_co_buchi)
1144    is_generalized_buchi = _swig_new_instance_method(_impl.acc_cond_is_generalized_buchi)
1145    is_generalized_co_buchi = _swig_new_instance_method(_impl.acc_cond_is_generalized_co_buchi)
1146    is_rabin = _swig_new_instance_method(_impl.acc_cond_is_rabin)
1147    is_streett = _swig_new_instance_method(_impl.acc_cond_is_streett)
1148    is_streett_like = _swig_new_instance_method(_impl.acc_cond_is_streett_like)
1149    is_rabin_like = _swig_new_instance_method(_impl.acc_cond_is_rabin_like)
1150    is_generalized_rabin = _swig_new_instance_method(_impl.acc_cond_is_generalized_rabin)
1151    is_generalized_streett = _swig_new_instance_method(_impl.acc_cond_is_generalized_streett)
1152    is_parity_max_equiv = _swig_new_instance_method(_impl.acc_cond_is_parity_max_equiv)
1153    is_parity = _swig_new_instance_method(_impl.acc_cond_is_parity)
1154    unit_propagation = _swig_new_instance_method(_impl.acc_cond_unit_propagation)
1155    unsat_mark = _swig_new_instance_method(_impl.acc_cond_unsat_mark)
1156    sat_mark = _swig_new_instance_method(_impl.acc_cond_sat_mark)
1157    inf = _swig_new_static_method(_impl.acc_cond_inf)
1158    inf_neg = _swig_new_static_method(_impl.acc_cond_inf_neg)
1159    fin = _swig_new_static_method(_impl.acc_cond_fin)
1160    fin_neg = _swig_new_static_method(_impl.acc_cond_fin_neg)
1161    add_sets = _swig_new_instance_method(_impl.acc_cond_add_sets)
1162    add_set = _swig_new_instance_method(_impl.acc_cond_add_set)
1163    mark = _swig_new_instance_method(_impl.acc_cond_mark)
1164    comp = _swig_new_instance_method(_impl.acc_cond_comp)
1165    all_sets = _swig_new_instance_method(_impl.acc_cond_all_sets)
1166    apply_permutation = _swig_new_instance_method(_impl.acc_cond_apply_permutation)
1167    apply_permutation_aux = _swig_new_instance_method(_impl.acc_cond_apply_permutation_aux)
1168    accepting = _swig_new_instance_method(_impl.acc_cond_accepting)
1169    inf_satisfiable = _swig_new_instance_method(_impl.acc_cond_inf_satisfiable)
1170    maybe_accepting = _swig_new_instance_method(_impl.acc_cond_maybe_accepting)
1171    accepting_sets = _swig_new_instance_method(_impl.acc_cond_accepting_sets)
1172    format = _swig_new_instance_method(_impl.acc_cond_format)
1173    num_sets = _swig_new_instance_method(_impl.acc_cond_num_sets)
1174    remove = _swig_new_instance_method(_impl.acc_cond_remove)
1175    strip = _swig_new_instance_method(_impl.acc_cond_strip)
1176    force_inf = _swig_new_instance_method(_impl.acc_cond_force_inf)
1177    restrict_to = _swig_new_instance_method(_impl.acc_cond_restrict_to)
1178    name = _swig_new_instance_method(_impl.acc_cond_name)
1179    fin_unit = _swig_new_instance_method(_impl.acc_cond_fin_unit)
1180    inf_unit = _swig_new_instance_method(_impl.acc_cond_inf_unit)
1181    fin_one = _swig_new_instance_method(_impl.acc_cond_fin_one)
1182    fin_one_extract = _swig_new_instance_method(_impl.acc_cond_fin_one_extract)
1183    top_disjuncts = _swig_new_instance_method(_impl.acc_cond_top_disjuncts)
1184    top_conjuncts = _swig_new_instance_method(_impl.acc_cond_top_conjuncts)
1185    __repr__ = _swig_new_instance_method(_impl.acc_cond___repr__)
1186    __str__ = _swig_new_instance_method(_impl.acc_cond___str__)
1187
1188# Register acc_cond in _impl:
1189_impl.acc_cond_swigregister(acc_cond)
1190acc_cond_inf = _impl.acc_cond_inf
1191acc_cond_inf_neg = _impl.acc_cond_inf_neg
1192acc_cond_fin = _impl.acc_cond_fin
1193acc_cond_fin_neg = _impl.acc_cond_fin_neg
1194
1195class mark_t(object):
1196    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1197    apply_permutation = _swig_new_instance_method(_impl.mark_t_apply_permutation)
1198    max_accsets = _swig_new_static_method(_impl.mark_t_max_accsets)
1199    all = _swig_new_static_method(_impl.mark_t_all)
1200    hash = _swig_new_instance_method(_impl.mark_t_hash)
1201    __eq__ = _swig_new_instance_method(_impl.mark_t___eq__)
1202    __ne__ = _swig_new_instance_method(_impl.mark_t___ne__)
1203    __lt__ = _swig_new_instance_method(_impl.mark_t___lt__)
1204    __le__ = _swig_new_instance_method(_impl.mark_t___le__)
1205    __gt__ = _swig_new_instance_method(_impl.mark_t___gt__)
1206    __ge__ = _swig_new_instance_method(_impl.mark_t___ge__)
1207
1208    def __nonzero__(self):
1209        return _impl.mark_t___nonzero__(self)
1210    __bool__ = __nonzero__
1211
1212
1213    has = _swig_new_instance_method(_impl.mark_t_has)
1214    set = _swig_new_instance_method(_impl.mark_t_set)
1215    clear = _swig_new_instance_method(_impl.mark_t_clear)
1216    __iand__ = _swig_new_instance_method(_impl.mark_t___iand__)
1217    __ior__ = _swig_new_instance_method(_impl.mark_t___ior__)
1218    __isub__ = _swig_new_instance_method(_impl.mark_t___isub__)
1219    __ixor__ = _swig_new_instance_method(_impl.mark_t___ixor__)
1220    __and__ = _swig_new_instance_method(_impl.mark_t___and__)
1221    __or__ = _swig_new_instance_method(_impl.mark_t___or__)
1222    __sub__ = _swig_new_instance_method(_impl.mark_t___sub__)
1223    __invert__ = _swig_new_instance_method(_impl.mark_t___invert__)
1224    __xor__ = _swig_new_instance_method(_impl.mark_t___xor__)
1225    __lshift__ = _swig_new_instance_method(_impl.mark_t___lshift__)
1226    __ilshift__ = _swig_new_instance_method(_impl.mark_t___ilshift__)
1227    __rshift__ = _swig_new_instance_method(_impl.mark_t___rshift__)
1228    __irshift__ = _swig_new_instance_method(_impl.mark_t___irshift__)
1229    strip = _swig_new_instance_method(_impl.mark_t_strip)
1230    subset = _swig_new_instance_method(_impl.mark_t_subset)
1231    proper_subset = _swig_new_instance_method(_impl.mark_t_proper_subset)
1232    count = _swig_new_instance_method(_impl.mark_t_count)
1233    max_set = _swig_new_instance_method(_impl.mark_t_max_set)
1234    min_set = _swig_new_instance_method(_impl.mark_t_min_set)
1235    lowest = _swig_new_instance_method(_impl.mark_t_lowest)
1236    is_singleton = _swig_new_instance_method(_impl.mark_t_is_singleton)
1237    has_many = _swig_new_instance_method(_impl.mark_t_has_many)
1238    remove_some = _swig_new_instance_method(_impl.mark_t_remove_some)
1239    sets = _swig_new_instance_method(_impl.mark_t_sets)
1240    as_string = _swig_new_instance_method(_impl.mark_t_as_string)
1241
1242    def __init__(self, *args):
1243        _impl.mark_t_swiginit(self, _impl.new_mark_t(*args))
1244    __repr__ = _swig_new_instance_method(_impl.mark_t___repr__)
1245    __str__ = _swig_new_instance_method(_impl.mark_t___str__)
1246    __swig_destroy__ = _impl.delete_mark_t
1247
1248# Register mark_t in _impl:
1249_impl.mark_t_swigregister(mark_t)
1250mark_t_max_accsets = _impl.mark_t_max_accsets
1251mark_t_all = _impl.mark_t_all
1252
1253class acc_code(object):
1254    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1255    unit_propagation = _swig_new_instance_method(_impl.acc_code_unit_propagation)
1256    has_parity_prefix = _swig_new_instance_method(_impl.acc_code_has_parity_prefix)
1257    is_parity_max_equiv = _swig_new_instance_method(_impl.acc_code_is_parity_max_equiv)
1258    __eq__ = _swig_new_instance_method(_impl.acc_code___eq__)
1259    __lt__ = _swig_new_instance_method(_impl.acc_code___lt__)
1260    __gt__ = _swig_new_instance_method(_impl.acc_code___gt__)
1261    __le__ = _swig_new_instance_method(_impl.acc_code___le__)
1262    __ge__ = _swig_new_instance_method(_impl.acc_code___ge__)
1263    __ne__ = _swig_new_instance_method(_impl.acc_code___ne__)
1264    is_t = _swig_new_instance_method(_impl.acc_code_is_t)
1265    is_f = _swig_new_instance_method(_impl.acc_code_is_f)
1266    f = _swig_new_static_method(_impl.acc_code_f)
1267    t = _swig_new_static_method(_impl.acc_code_t)
1268    fin = _swig_new_static_method(_impl.acc_code_fin)
1269    fin_neg = _swig_new_static_method(_impl.acc_code_fin_neg)
1270    inf = _swig_new_static_method(_impl.acc_code_inf)
1271    inf_neg = _swig_new_static_method(_impl.acc_code_inf_neg)
1272    buchi = _swig_new_static_method(_impl.acc_code_buchi)
1273    cobuchi = _swig_new_static_method(_impl.acc_code_cobuchi)
1274    generalized_buchi = _swig_new_static_method(_impl.acc_code_generalized_buchi)
1275    generalized_co_buchi = _swig_new_static_method(_impl.acc_code_generalized_co_buchi)
1276    rabin = _swig_new_static_method(_impl.acc_code_rabin)
1277    streett = _swig_new_static_method(_impl.acc_code_streett)
1278    parity = _swig_new_static_method(_impl.acc_code_parity)
1279    parity_max = _swig_new_static_method(_impl.acc_code_parity_max)
1280    parity_max_odd = _swig_new_static_method(_impl.acc_code_parity_max_odd)
1281    parity_max_even = _swig_new_static_method(_impl.acc_code_parity_max_even)
1282    parity_min = _swig_new_static_method(_impl.acc_code_parity_min)
1283    parity_min_odd = _swig_new_static_method(_impl.acc_code_parity_min_odd)
1284    parity_min_even = _swig_new_static_method(_impl.acc_code_parity_min_even)
1285    random = _swig_new_static_method(_impl.acc_code_random)
1286    __iand__ = _swig_new_instance_method(_impl.acc_code___iand__)
1287    __and__ = _swig_new_instance_method(_impl.acc_code___and__)
1288    __ior__ = _swig_new_instance_method(_impl.acc_code___ior__)
1289    __or__ = _swig_new_instance_method(_impl.acc_code___or__)
1290    __ilshift__ = _swig_new_instance_method(_impl.acc_code___ilshift__)
1291    __lshift__ = _swig_new_instance_method(_impl.acc_code___lshift__)
1292    is_dnf = _swig_new_instance_method(_impl.acc_code_is_dnf)
1293    is_cnf = _swig_new_instance_method(_impl.acc_code_is_cnf)
1294    to_dnf = _swig_new_instance_method(_impl.acc_code_to_dnf)
1295    to_cnf = _swig_new_instance_method(_impl.acc_code_to_cnf)
1296    to_bdd = _swig_new_instance_method(_impl.acc_code_to_bdd)
1297    top_disjuncts = _swig_new_instance_method(_impl.acc_code_top_disjuncts)
1298    top_conjuncts = _swig_new_instance_method(_impl.acc_code_top_conjuncts)
1299    complement = _swig_new_instance_method(_impl.acc_code_complement)
1300    fin_unit = _swig_new_instance_method(_impl.acc_code_fin_unit)
1301    inf_unit = _swig_new_instance_method(_impl.acc_code_inf_unit)
1302    fin_one = _swig_new_instance_method(_impl.acc_code_fin_one)
1303    fin_one_extract = _swig_new_instance_method(_impl.acc_code_fin_one_extract)
1304    missing = _swig_new_instance_method(_impl.acc_code_missing)
1305    accepting = _swig_new_instance_method(_impl.acc_code_accepting)
1306    inf_satisfiable = _swig_new_instance_method(_impl.acc_code_inf_satisfiable)
1307    maybe_accepting = _swig_new_instance_method(_impl.acc_code_maybe_accepting)
1308    symmetries = _swig_new_instance_method(_impl.acc_code_symmetries)
1309    remove = _swig_new_instance_method(_impl.acc_code_remove)
1310    strip = _swig_new_instance_method(_impl.acc_code_strip)
1311    force_inf = _swig_new_instance_method(_impl.acc_code_force_inf)
1312    used_sets = _swig_new_instance_method(_impl.acc_code_used_sets)
1313    useless_colors_patterns = _swig_new_instance_method(_impl.acc_code_useless_colors_patterns)
1314    used_once_sets = _swig_new_instance_method(_impl.acc_code_used_once_sets)
1315    used_inf_fin_sets = _swig_new_instance_method(_impl.acc_code_used_inf_fin_sets)
1316    to_html = _swig_new_instance_method(_impl.acc_code_to_html)
1317    to_text = _swig_new_instance_method(_impl.acc_code_to_text)
1318    to_latex = _swig_new_instance_method(_impl.acc_code_to_latex)
1319
1320    def __init__(self, *args):
1321        _impl.acc_code_swiginit(self, _impl.new_acc_code(*args))
1322    __repr__ = _swig_new_instance_method(_impl.acc_code___repr__)
1323    __str__ = _swig_new_instance_method(_impl.acc_code___str__)
1324    __swig_destroy__ = _impl.delete_acc_code
1325
1326# Register acc_code in _impl:
1327_impl.acc_code_swigregister(acc_code)
1328acc_code_f = _impl.acc_code_f
1329acc_code_t = _impl.acc_code_t
1330acc_code_fin = _impl.acc_code_fin
1331acc_code_fin_neg = _impl.acc_code_fin_neg
1332acc_code_inf = _impl.acc_code_inf
1333acc_code_inf_neg = _impl.acc_code_inf_neg
1334acc_code_buchi = _impl.acc_code_buchi
1335acc_code_cobuchi = _impl.acc_code_cobuchi
1336acc_code_generalized_buchi = _impl.acc_code_generalized_buchi
1337acc_code_generalized_co_buchi = _impl.acc_code_generalized_co_buchi
1338acc_code_rabin = _impl.acc_code_rabin
1339acc_code_streett = _impl.acc_code_streett
1340acc_code_parity = _impl.acc_code_parity
1341acc_code_parity_max = _impl.acc_code_parity_max
1342acc_code_parity_max_odd = _impl.acc_code_parity_max_odd
1343acc_code_parity_max_even = _impl.acc_code_parity_max_even
1344acc_code_parity_min = _impl.acc_code_parity_min
1345acc_code_parity_min_odd = _impl.acc_code_parity_min_odd
1346acc_code_parity_min_even = _impl.acc_code_parity_min_even
1347acc_code_random = _impl.acc_code_random
1348
1349class rs_pair(object):
1350    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1351
1352    def __init__(self, fin: "mark_t", inf: "mark_t"):
1353        _impl.rs_pair_swiginit(self, _impl.new_rs_pair(fin, inf))
1354    fin = property(_impl.rs_pair_fin_get, _impl.rs_pair_fin_set)
1355    inf = property(_impl.rs_pair_inf_get, _impl.rs_pair_inf_set)
1356    __eq__ = _swig_new_instance_method(_impl.rs_pair___eq__)
1357    __ne__ = _swig_new_instance_method(_impl.rs_pair___ne__)
1358    __lt__ = _swig_new_instance_method(_impl.rs_pair___lt__)
1359    __le__ = _swig_new_instance_method(_impl.rs_pair___le__)
1360    __gt__ = _swig_new_instance_method(_impl.rs_pair___gt__)
1361    __ge__ = _swig_new_instance_method(_impl.rs_pair___ge__)
1362    __repr__ = _swig_new_instance_method(_impl.rs_pair___repr__)
1363    __swig_destroy__ = _impl.delete_rs_pair
1364
1365# Register rs_pair in _impl:
1366_impl.rs_pair_swigregister(rs_pair)
1367
1368class rs_pairs_view(object):
1369    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1370    __repr__ = _swig_repr
1371
1372    def __init__(self, *args):
1373        _impl.rs_pairs_view_swiginit(self, _impl.new_rs_pairs_view(*args))
1374    infs = _swig_new_instance_method(_impl.rs_pairs_view_infs)
1375    fins = _swig_new_instance_method(_impl.rs_pairs_view_fins)
1376    fins_alone = _swig_new_instance_method(_impl.rs_pairs_view_fins_alone)
1377    infs_alone = _swig_new_instance_method(_impl.rs_pairs_view_infs_alone)
1378    paired_with_fin = _swig_new_instance_method(_impl.rs_pairs_view_paired_with_fin)
1379    pairs = _swig_new_instance_method(_impl.rs_pairs_view_pairs)
1380    __swig_destroy__ = _impl.delete_rs_pairs_view
1381
1382# Register rs_pairs_view in _impl:
1383_impl.rs_pairs_view_swigregister(rs_pairs_view)
1384
1385class mark_iterator(object):
1386    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1387    __repr__ = _swig_repr
1388
1389    def __init__(self, *args):
1390        _impl.mark_iterator_swiginit(self, _impl.new_mark_iterator(*args))
1391    __eq__ = _swig_new_instance_method(_impl.mark_iterator___eq__)
1392    __ne__ = _swig_new_instance_method(_impl.mark_iterator___ne__)
1393    __ref__ = _swig_new_instance_method(_impl.mark_iterator___ref__)
1394    __swig_destroy__ = _impl.delete_mark_iterator
1395
1396# Register mark_iterator in _impl:
1397_impl.mark_iterator_swigregister(mark_iterator)
1398
1399class mark_container(object):
1400    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1401    __repr__ = _swig_repr
1402
1403    def __init__(self, m: "mark_t"):
1404        _impl.mark_container_swiginit(self, _impl.new_mark_container(m))
1405    begin = _swig_new_instance_method(_impl.mark_container_begin)
1406    end = _swig_new_instance_method(_impl.mark_container_end)
1407    __iter__ = _swig_new_instance_method(_impl.mark_container___iter__)
1408    __swig_destroy__ = _impl.delete_mark_container
1409
1410# Register mark_container in _impl:
1411_impl.mark_container_swigregister(mark_container)
1412
1413class pair_bool_mark(object):
1414    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1415    __repr__ = _swig_repr
1416
1417    def __init__(self, *args):
1418        _impl.pair_bool_mark_swiginit(self, _impl.new_pair_bool_mark(*args))
1419    first = property(_impl.pair_bool_mark_first_get, _impl.pair_bool_mark_first_set)
1420    second = property(_impl.pair_bool_mark_second_get, _impl.pair_bool_mark_second_set)
1421    def __len__(self):
1422        return 2
1423    def __repr__(self):
1424        return str((self.first, self.second))
1425    def __getitem__(self, index):
1426        if not (index % 2):
1427            return self.first
1428        else:
1429            return self.second
1430    def __setitem__(self, index, val):
1431        if not (index % 2):
1432            self.first = val
1433        else:
1434            self.second = val
1435    __swig_destroy__ = _impl.delete_pair_bool_mark
1436
1437# Register pair_bool_mark in _impl:
1438_impl.pair_bool_mark_swigregister(pair_bool_mark)
1439
1440class state(object):
1441    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1442
1443    def __init__(self, *args, **kwargs):
1444        raise AttributeError("No constructor defined - class is abstract")
1445    __repr__ = _swig_repr
1446    compare = _swig_new_instance_method(_impl.state_compare)
1447    hash = _swig_new_instance_method(_impl.state_hash)
1448    clone = _swig_new_instance_method(_impl.state_clone)
1449    destroy = _swig_new_instance_method(_impl.state_destroy)
1450
1451# Register state in _impl:
1452_impl.state_swigregister(state)
1453
1454class state_ptr_less_than(object):
1455    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1456    __repr__ = _swig_repr
1457    __call__ = _swig_new_instance_method(_impl.state_ptr_less_than___call__)
1458
1459    def __init__(self):
1460        _impl.state_ptr_less_than_swiginit(self, _impl.new_state_ptr_less_than())
1461    __swig_destroy__ = _impl.delete_state_ptr_less_than
1462
1463# Register state_ptr_less_than in _impl:
1464_impl.state_ptr_less_than_swigregister(state_ptr_less_than)
1465
1466class state_ptr_equal(object):
1467    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1468    __repr__ = _swig_repr
1469    __call__ = _swig_new_instance_method(_impl.state_ptr_equal___call__)
1470
1471    def __init__(self):
1472        _impl.state_ptr_equal_swiginit(self, _impl.new_state_ptr_equal())
1473    __swig_destroy__ = _impl.delete_state_ptr_equal
1474
1475# Register state_ptr_equal in _impl:
1476_impl.state_ptr_equal_swigregister(state_ptr_equal)
1477
1478class state_ptr_hash(object):
1479    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1480    __repr__ = _swig_repr
1481    __call__ = _swig_new_instance_method(_impl.state_ptr_hash___call__)
1482
1483    def __init__(self):
1484        _impl.state_ptr_hash_swiginit(self, _impl.new_state_ptr_hash())
1485    __swig_destroy__ = _impl.delete_state_ptr_hash
1486
1487# Register state_ptr_hash in _impl:
1488_impl.state_ptr_hash_swigregister(state_ptr_hash)
1489
1490class state_unicity_table(object):
1491    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1492    __repr__ = _swig_repr
1493    __call__ = _swig_new_instance_method(_impl.state_unicity_table___call__)
1494    is_new = _swig_new_instance_method(_impl.state_unicity_table_is_new)
1495    __swig_destroy__ = _impl.delete_state_unicity_table
1496    size = _swig_new_instance_method(_impl.state_unicity_table_size)
1497
1498    def __init__(self):
1499        _impl.state_unicity_table_swiginit(self, _impl.new_state_unicity_table())
1500
1501# Register state_unicity_table in _impl:
1502_impl.state_unicity_table_swigregister(state_unicity_table)
1503
1504shared_state_deleter = _impl.shared_state_deleter
1505class state_shared_ptr_less_than(object):
1506    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1507    __repr__ = _swig_repr
1508    __call__ = _swig_new_instance_method(_impl.state_shared_ptr_less_than___call__)
1509
1510    def __init__(self):
1511        _impl.state_shared_ptr_less_than_swiginit(self, _impl.new_state_shared_ptr_less_than())
1512    __swig_destroy__ = _impl.delete_state_shared_ptr_less_than
1513
1514# Register state_shared_ptr_less_than in _impl:
1515_impl.state_shared_ptr_less_than_swigregister(state_shared_ptr_less_than)
1516
1517class state_shared_ptr_equal(object):
1518    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1519    __repr__ = _swig_repr
1520    __call__ = _swig_new_instance_method(_impl.state_shared_ptr_equal___call__)
1521
1522    def __init__(self):
1523        _impl.state_shared_ptr_equal_swiginit(self, _impl.new_state_shared_ptr_equal())
1524    __swig_destroy__ = _impl.delete_state_shared_ptr_equal
1525
1526# Register state_shared_ptr_equal in _impl:
1527_impl.state_shared_ptr_equal_swigregister(state_shared_ptr_equal)
1528
1529class state_shared_ptr_hash(object):
1530    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1531    __repr__ = _swig_repr
1532    __call__ = _swig_new_instance_method(_impl.state_shared_ptr_hash___call__)
1533
1534    def __init__(self):
1535        _impl.state_shared_ptr_hash_swiginit(self, _impl.new_state_shared_ptr_hash())
1536    __swig_destroy__ = _impl.delete_state_shared_ptr_hash
1537
1538# Register state_shared_ptr_hash in _impl:
1539_impl.state_shared_ptr_hash_swigregister(state_shared_ptr_hash)
1540
1541class twa_succ_iterator(object):
1542    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1543
1544    def __init__(self, *args, **kwargs):
1545        raise AttributeError("No constructor defined - class is abstract")
1546    __repr__ = _swig_repr
1547    __swig_destroy__ = _impl.delete_twa_succ_iterator
1548    first = _swig_new_instance_method(_impl.twa_succ_iterator_first)
1549    next = _swig_new_instance_method(_impl.twa_succ_iterator_next)
1550    done = _swig_new_instance_method(_impl.twa_succ_iterator_done)
1551    dst = _swig_new_instance_method(_impl.twa_succ_iterator_dst)
1552    cond = _swig_new_instance_method(_impl.twa_succ_iterator_cond)
1553    acc = _swig_new_instance_method(_impl.twa_succ_iterator_acc)
1554
1555# Register twa_succ_iterator in _impl:
1556_impl.twa_succ_iterator_swigregister(twa_succ_iterator)
1557
1558class succ_iterator(object):
1559    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1560    __repr__ = _swig_repr
1561
1562    def __init__(self, it: "twa_succ_iterator"):
1563        _impl.succ_iterator_swiginit(self, _impl.new_succ_iterator(it))
1564    __eq__ = _swig_new_instance_method(_impl.succ_iterator___eq__)
1565    __ne__ = _swig_new_instance_method(_impl.succ_iterator___ne__)
1566    __ref__ = _swig_new_instance_method(_impl.succ_iterator___ref__)
1567    __swig_destroy__ = _impl.delete_succ_iterator
1568
1569# Register succ_iterator in _impl:
1570_impl.succ_iterator_swigregister(succ_iterator)
1571
1572class twa(object):
1573    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1574
1575    def __init__(self, *args, **kwargs):
1576        raise AttributeError("No constructor defined - class is abstract")
1577    __repr__ = _swig_repr
1578    __swig_destroy__ = _impl.delete_twa
1579    get_init_state = _swig_new_instance_method(_impl.twa_get_init_state)
1580    succ_iter = _swig_new_instance_method(_impl.twa_succ_iter)
1581    release_iter = _swig_new_instance_method(_impl.twa_release_iter)
1582    get_dict = _swig_new_instance_method(_impl.twa_get_dict)
1583    register_ap = _swig_new_instance_method(_impl.twa_register_ap)
1584    unregister_ap = _swig_new_instance_method(_impl.twa_unregister_ap)
1585    register_aps_from_dict = _swig_new_instance_method(_impl.twa_register_aps_from_dict)
1586    ap = _swig_new_instance_method(_impl.twa_ap)
1587    ap_vars = _swig_new_instance_method(_impl.twa_ap_vars)
1588    format_state = _swig_new_instance_method(_impl.twa_format_state)
1589    project_state = _swig_new_instance_method(_impl.twa_project_state)
1590    acc = _swig_new_instance_method(_impl.twa_acc)
1591    is_empty = _swig_new_instance_method(_impl.twa_is_empty)
1592    accepting_run = _swig_new_instance_method(_impl.twa_accepting_run)
1593    accepting_word = _swig_new_instance_method(_impl.twa_accepting_word)
1594    intersects = _swig_new_instance_method(_impl.twa_intersects)
1595    intersecting_run = _swig_new_instance_method(_impl.twa_intersecting_run)
1596    intersecting_word = _swig_new_instance_method(_impl.twa_intersecting_word)
1597    exclusive_run = _swig_new_instance_method(_impl.twa_exclusive_run)
1598    exclusive_word = _swig_new_instance_method(_impl.twa_exclusive_word)
1599    num_sets = _swig_new_instance_method(_impl.twa_num_sets)
1600    get_acceptance = _swig_new_instance_method(_impl.twa_get_acceptance)
1601    set_acceptance = _swig_new_instance_method(_impl.twa_set_acceptance)
1602    copy_acceptance_of = _swig_new_instance_method(_impl.twa_copy_acceptance_of)
1603    copy_ap_of = _swig_new_instance_method(_impl.twa_copy_ap_of)
1604    copy_named_properties_of = _swig_new_instance_method(_impl.twa_copy_named_properties_of)
1605    set_generalized_buchi = _swig_new_instance_method(_impl.twa_set_generalized_buchi)
1606    set_generalized_co_buchi = _swig_new_instance_method(_impl.twa_set_generalized_co_buchi)
1607    set_buchi = _swig_new_instance_method(_impl.twa_set_buchi)
1608    set_co_buchi = _swig_new_instance_method(_impl.twa_set_co_buchi)
1609    release_named_properties = _swig_new_instance_method(_impl.twa_release_named_properties)
1610    prop_state_acc = _swig_new_instance_method(_impl.twa_prop_state_acc)
1611    is_sba = _swig_new_instance_method(_impl.twa_is_sba)
1612    prop_inherently_weak = _swig_new_instance_method(_impl.twa_prop_inherently_weak)
1613    prop_terminal = _swig_new_instance_method(_impl.twa_prop_terminal)
1614    prop_weak = _swig_new_instance_method(_impl.twa_prop_weak)
1615    prop_very_weak = _swig_new_instance_method(_impl.twa_prop_very_weak)
1616    prop_complete = _swig_new_instance_method(_impl.twa_prop_complete)
1617    prop_universal = _swig_new_instance_method(_impl.twa_prop_universal)
1618
1619    def prop_deterministic(self, *args) -> "spot::trival":
1620
1621        from warnings import warn
1622        warn("use prop_universal() instead of prop_deterministic()",
1623             DeprecationWarning)
1624
1625
1626        return _impl.twa_prop_deterministic(self, *args)
1627
1628    prop_unambiguous = _swig_new_instance_method(_impl.twa_prop_unambiguous)
1629    prop_semi_deterministic = _swig_new_instance_method(_impl.twa_prop_semi_deterministic)
1630    prop_stutter_invariant = _swig_new_instance_method(_impl.twa_prop_stutter_invariant)
1631    prop_copy = _swig_new_instance_method(_impl.twa_prop_copy)
1632    prop_keep = _swig_new_instance_method(_impl.twa_prop_keep)
1633    prop_reset = _swig_new_instance_method(_impl.twa_prop_reset)
1634    set_name = _swig_new_instance_method(_impl.twa_set_name)
1635    get_name = _swig_new_instance_method(_impl.twa_get_name)
1636    set_state_names = _swig_new_instance_method(_impl.twa_set_state_names)
1637    get_state_names = _swig_new_instance_method(_impl.twa_get_state_names)
1638    set_product_states = _swig_new_instance_method(_impl.twa_set_product_states)
1639    get_product_states = _swig_new_instance_method(_impl.twa_get_product_states)
1640    highlight_state = _swig_new_instance_method(_impl.twa_highlight_state)
1641    highlight_edge = _swig_new_instance_method(_impl.twa_highlight_edge)
1642
1643# Register twa in _impl:
1644_impl.twa_swigregister(twa)
1645
1646class twa_prop_set(object):
1647    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1648    __repr__ = _swig_repr
1649    state_based = property(_impl.twa_prop_set_state_based_get, _impl.twa_prop_set_state_based_set)
1650    inherently_weak = property(_impl.twa_prop_set_inherently_weak_get, _impl.twa_prop_set_inherently_weak_set)
1651    deterministic = property(_impl.twa_prop_set_deterministic_get, _impl.twa_prop_set_deterministic_set)
1652    improve_det = property(_impl.twa_prop_set_improve_det_get, _impl.twa_prop_set_improve_det_set)
1653    complete = property(_impl.twa_prop_set_complete_get, _impl.twa_prop_set_complete_set)
1654    stutter_inv = property(_impl.twa_prop_set_stutter_inv_get, _impl.twa_prop_set_stutter_inv_set)
1655
1656    def __init__(self, *args):
1657        _impl.twa_prop_set_swiginit(self, _impl.new_twa_prop_set(*args))
1658    all = _swig_new_static_method(_impl.twa_prop_set_all)
1659    __swig_destroy__ = _impl.delete_twa_prop_set
1660
1661# Register twa_prop_set in _impl:
1662_impl.twa_prop_set_swigregister(twa_prop_set)
1663twa_prop_set_all = _impl.twa_prop_set_all
1664
1665create_atomic_prop_set = _impl.create_atomic_prop_set
1666atomic_prop_collect = _impl.atomic_prop_collect
1667atomic_prop_collect_as_bdd = _impl.atomic_prop_collect_as_bdd
1668class language_containment_checker(object):
1669    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1670    __repr__ = _swig_repr
1671
1672    def __init__(self, *args):
1673        _impl.language_containment_checker_swiginit(self, _impl.new_language_containment_checker(*args))
1674    __swig_destroy__ = _impl.delete_language_containment_checker
1675    clear = _swig_new_instance_method(_impl.language_containment_checker_clear)
1676    contained = _swig_new_instance_method(_impl.language_containment_checker_contained)
1677    neg_contained = _swig_new_instance_method(_impl.language_containment_checker_neg_contained)
1678    contained_neg = _swig_new_instance_method(_impl.language_containment_checker_contained_neg)
1679    equal = _swig_new_instance_method(_impl.language_containment_checker_equal)
1680
1681# Register language_containment_checker in _impl:
1682_impl.language_containment_checker_swigregister(language_containment_checker)
1683
1684print_dot_psl = _impl.print_dot_psl
1685negative_normal_form = _impl.negative_normal_form
1686print_psl = _impl.print_psl
1687str_psl = _impl.str_psl
1688print_utf8_psl = _impl.print_utf8_psl
1689str_utf8_psl = _impl.str_utf8_psl
1690print_sere = _impl.print_sere
1691str_sere = _impl.str_sere
1692print_utf8_sere = _impl.print_utf8_sere
1693str_utf8_sere = _impl.str_utf8_sere
1694print_spin_ltl = _impl.print_spin_ltl
1695str_spin_ltl = _impl.str_spin_ltl
1696print_wring_ltl = _impl.print_wring_ltl
1697str_wring_ltl = _impl.str_wring_ltl
1698print_latex_psl = _impl.print_latex_psl
1699str_latex_psl = _impl.str_latex_psl
1700print_latex_sere = _impl.print_latex_sere
1701str_latex_sere = _impl.str_latex_sere
1702print_sclatex_psl = _impl.print_sclatex_psl
1703str_sclatex_psl = _impl.str_sclatex_psl
1704print_sclatex_sere = _impl.print_sclatex_sere
1705str_sclatex_sere = _impl.str_sclatex_sere
1706print_lbt_ltl = _impl.print_lbt_ltl
1707str_lbt_ltl = _impl.str_lbt_ltl
1708class tl_simplifier_options(object):
1709    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1710    __repr__ = _swig_repr
1711
1712    def __init__(self, *args):
1713        _impl.tl_simplifier_options_swiginit(self, _impl.new_tl_simplifier_options(*args))
1714    reduce_basics = property(_impl.tl_simplifier_options_reduce_basics_get, _impl.tl_simplifier_options_reduce_basics_set)
1715    synt_impl = property(_impl.tl_simplifier_options_synt_impl_get, _impl.tl_simplifier_options_synt_impl_set)
1716    event_univ = property(_impl.tl_simplifier_options_event_univ_get, _impl.tl_simplifier_options_event_univ_set)
1717    containment_checks = property(_impl.tl_simplifier_options_containment_checks_get, _impl.tl_simplifier_options_containment_checks_set)
1718    containment_checks_stronger = property(_impl.tl_simplifier_options_containment_checks_stronger_get, _impl.tl_simplifier_options_containment_checks_stronger_set)
1719    nenoform_stop_on_boolean = property(_impl.tl_simplifier_options_nenoform_stop_on_boolean_get, _impl.tl_simplifier_options_nenoform_stop_on_boolean_set)
1720    reduce_size_strictly = property(_impl.tl_simplifier_options_reduce_size_strictly_get, _impl.tl_simplifier_options_reduce_size_strictly_set)
1721    boolean_to_isop = property(_impl.tl_simplifier_options_boolean_to_isop_get, _impl.tl_simplifier_options_boolean_to_isop_set)
1722    favor_event_univ = property(_impl.tl_simplifier_options_favor_event_univ_get, _impl.tl_simplifier_options_favor_event_univ_set)
1723    keep_top_xor = property(_impl.tl_simplifier_options_keep_top_xor_get, _impl.tl_simplifier_options_keep_top_xor_set)
1724    containment_max_states = property(_impl.tl_simplifier_options_containment_max_states_get, _impl.tl_simplifier_options_containment_max_states_set)
1725    __swig_destroy__ = _impl.delete_tl_simplifier_options
1726
1727# Register tl_simplifier_options in _impl:
1728_impl.tl_simplifier_options_swigregister(tl_simplifier_options)
1729
1730class tl_simplifier(object):
1731    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1732    __repr__ = _swig_repr
1733
1734    def __init__(self, *args):
1735        _impl.tl_simplifier_swiginit(self, _impl.new_tl_simplifier(*args))
1736    __swig_destroy__ = _impl.delete_tl_simplifier
1737    simplify = _swig_new_instance_method(_impl.tl_simplifier_simplify)
1738    negative_normal_form = _swig_new_instance_method(_impl.tl_simplifier_negative_normal_form)
1739    syntactic_implication = _swig_new_instance_method(_impl.tl_simplifier_syntactic_implication)
1740    syntactic_implication_neg = _swig_new_instance_method(_impl.tl_simplifier_syntactic_implication_neg)
1741    are_equivalent = _swig_new_instance_method(_impl.tl_simplifier_are_equivalent)
1742    implication = _swig_new_instance_method(_impl.tl_simplifier_implication)
1743    as_bdd = _swig_new_instance_method(_impl.tl_simplifier_as_bdd)
1744    clear_as_bdd_cache = _swig_new_instance_method(_impl.tl_simplifier_clear_as_bdd_cache)
1745    clear_caches = _swig_new_instance_method(_impl.tl_simplifier_clear_caches)
1746    get_dict = _swig_new_instance_method(_impl.tl_simplifier_get_dict)
1747    star_normal_form = _swig_new_instance_method(_impl.tl_simplifier_star_normal_form)
1748    boolean_to_isop = _swig_new_instance_method(_impl.tl_simplifier_boolean_to_isop)
1749    print_stats = _swig_new_instance_method(_impl.tl_simplifier_print_stats)
1750
1751# Register tl_simplifier in _impl:
1752_impl.tl_simplifier_swigregister(tl_simplifier)
1753
1754class unabbreviator(object):
1755    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1756    __repr__ = _swig_repr
1757
1758    def __init__(self, *args):
1759        _impl.unabbreviator_swiginit(self, _impl.new_unabbreviator(*args))
1760    run = _swig_new_instance_method(_impl.unabbreviator_run)
1761    __swig_destroy__ = _impl.delete_unabbreviator
1762
1763# Register unabbreviator in _impl:
1764_impl.unabbreviator_swigregister(unabbreviator)
1765cvar = _impl.cvar
1766default_unabbrev_string = cvar.default_unabbrev_string
1767
1768unabbreviate = _impl.unabbreviate
1769class random_formula(object):
1770    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1771    __repr__ = _swig_repr
1772
1773    def __init__(self, proba_size: "unsigned int", ap: "atomic_prop_set"):
1774        _impl.random_formula_swiginit(self, _impl.new_random_formula(proba_size, ap))
1775    __swig_destroy__ = _impl.delete_random_formula
1776    ap = _swig_new_instance_method(_impl.random_formula_ap)
1777    generate = _swig_new_instance_method(_impl.random_formula_generate)
1778    dump_priorities = _swig_new_instance_method(_impl.random_formula_dump_priorities)
1779    parse_options = _swig_new_instance_method(_impl.random_formula_parse_options)
1780
1781# Register random_formula in _impl:
1782_impl.random_formula_swigregister(random_formula)
1783
1784class random_ltl(random_formula):
1785    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1786    __repr__ = _swig_repr
1787
1788    def __init__(self, ap: "atomic_prop_set"):
1789        _impl.random_ltl_swiginit(self, _impl.new_random_ltl(ap))
1790    __swig_destroy__ = _impl.delete_random_ltl
1791
1792# Register random_ltl in _impl:
1793_impl.random_ltl_swigregister(random_ltl)
1794
1795class random_boolean(random_formula):
1796    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1797    __repr__ = _swig_repr
1798
1799    def __init__(self, ap: "atomic_prop_set"):
1800        _impl.random_boolean_swiginit(self, _impl.new_random_boolean(ap))
1801    __swig_destroy__ = _impl.delete_random_boolean
1802
1803# Register random_boolean in _impl:
1804_impl.random_boolean_swigregister(random_boolean)
1805
1806class random_sere(random_formula):
1807    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1808    __repr__ = _swig_repr
1809
1810    def __init__(self, ap: "atomic_prop_set"):
1811        _impl.random_sere_swiginit(self, _impl.new_random_sere(ap))
1812    rb = property(_impl.random_sere_rb_get, _impl.random_sere_rb_set)
1813    __swig_destroy__ = _impl.delete_random_sere
1814
1815# Register random_sere in _impl:
1816_impl.random_sere_swigregister(random_sere)
1817
1818class random_psl(random_ltl):
1819    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1820    __repr__ = _swig_repr
1821
1822    def __init__(self, ap: "atomic_prop_set"):
1823        _impl.random_psl_swiginit(self, _impl.new_random_psl(ap))
1824    rs = property(_impl.random_psl_rs_get, _impl.random_psl_rs_set)
1825    __swig_destroy__ = _impl.delete_random_psl
1826
1827# Register random_psl in _impl:
1828_impl.random_psl_swigregister(random_psl)
1829
1830class randltlgenerator(object):
1831    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1832    __repr__ = _swig_repr
1833    Bool = _impl.randltlgenerator_Bool
1834    LTL = _impl.randltlgenerator_LTL
1835    SERE = _impl.randltlgenerator_SERE
1836    PSL = _impl.randltlgenerator_PSL
1837    MAX_TRIALS = _impl.randltlgenerator_MAX_TRIALS
1838
1839    def __init__(self, *args):
1840        _impl.randltlgenerator_swiginit(self, _impl.new_randltlgenerator(*args))
1841    __swig_destroy__ = _impl.delete_randltlgenerator
1842    next = _swig_new_instance_method(_impl.randltlgenerator_next)
1843    dump_ltl_priorities = _swig_new_instance_method(_impl.randltlgenerator_dump_ltl_priorities)
1844    dump_bool_priorities = _swig_new_instance_method(_impl.randltlgenerator_dump_bool_priorities)
1845    dump_psl_priorities = _swig_new_instance_method(_impl.randltlgenerator_dump_psl_priorities)
1846    dump_sere_priorities = _swig_new_instance_method(_impl.randltlgenerator_dump_sere_priorities)
1847    dump_sere_bool_priorities = _swig_new_instance_method(_impl.randltlgenerator_dump_sere_bool_priorities)
1848    remove_some_props = _swig_new_instance_method(_impl.randltlgenerator_remove_some_props)
1849    GF_n = _swig_new_instance_method(_impl.randltlgenerator_GF_n)
1850
1851# Register randltlgenerator in _impl:
1852_impl.randltlgenerator_swigregister(randltlgenerator)
1853
1854length = _impl.length
1855length_boolone = _impl.length_boolone
1856from_ltlf = _impl.from_ltlf
1857prcheck_Auto = _impl.prcheck_Auto
1858prcheck_via_CoBuchi = _impl.prcheck_via_CoBuchi
1859prcheck_via_Rabin = _impl.prcheck_via_Rabin
1860prcheck_via_Parity = _impl.prcheck_via_Parity
1861is_persistence = _impl.is_persistence
1862is_recurrence = _impl.is_recurrence
1863ocheck_Auto = _impl.ocheck_Auto
1864ocheck_via_CoBuchi = _impl.ocheck_via_CoBuchi
1865ocheck_via_Rabin = _impl.ocheck_via_Rabin
1866ocheck_via_WDBA = _impl.ocheck_via_WDBA
1867is_obligation = _impl.is_obligation
1868mp_class = _impl.mp_class
1869nesting_depth = _impl.nesting_depth
1870is_liveness = _impl.is_liveness
1871remove_x = _impl.remove_x
1872Abc = _impl.Abc
1873Pnn = _impl.Pnn
1874relabel = _impl.relabel
1875relabel_bse = _impl.relabel_bse
1876relabel_apply = _impl.relabel_apply
1877class taa_tgba(twa):
1878    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1879
1880    def __init__(self, *args, **kwargs):
1881        raise AttributeError("No constructor defined - class is abstract")
1882    __repr__ = _swig_repr
1883    add_condition = _swig_new_instance_method(_impl.taa_tgba_add_condition)
1884    __swig_destroy__ = _impl.delete_taa_tgba
1885    get_init_state = _swig_new_instance_method(_impl.taa_tgba_get_init_state)
1886
1887# Register taa_tgba in _impl:
1888_impl.taa_tgba_swigregister(taa_tgba)
1889
1890class set_state(state):
1891    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1892    __repr__ = _swig_repr
1893
1894    def __init__(self, s: "spot::taa_tgba::state_set const *", delete_me: "bool"=False):
1895        _impl.set_state_swiginit(self, _impl.new_set_state(s, delete_me))
1896    clone = _swig_new_instance_method(_impl.set_state_clone)
1897    __swig_destroy__ = _impl.delete_set_state
1898    get_state = _swig_new_instance_method(_impl.set_state_get_state)
1899
1900# Register set_state in _impl:
1901_impl.set_state_swigregister(set_state)
1902
1903class taa_succ_iterator(twa_succ_iterator):
1904    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1905    __repr__ = _swig_repr
1906
1907    def __init__(self, s: "spot::taa_tgba::state_set const *", acc: "acc_cond"):
1908        _impl.taa_succ_iterator_swiginit(self, _impl.new_taa_succ_iterator(s, acc))
1909    __swig_destroy__ = _impl.delete_taa_succ_iterator
1910    dst = _swig_new_instance_method(_impl.taa_succ_iterator_dst)
1911
1912# Register taa_succ_iterator in _impl:
1913_impl.taa_succ_iterator_swigregister(taa_succ_iterator)
1914
1915class taa_tgba_string(taa_tgba):
1916    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1917
1918    def __init__(self, *args, **kwargs):
1919        raise AttributeError("No constructor defined - class is abstract")
1920    __repr__ = _swig_repr
1921    __swig_destroy__ = _impl.delete_taa_tgba_string
1922
1923# Register taa_tgba_string in _impl:
1924_impl.taa_tgba_string_swigregister(taa_tgba_string)
1925
1926make_taa_tgba_string = _impl.make_taa_tgba_string
1927class taa_tgba_formula(taa_tgba):
1928    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1929
1930    def __init__(self, *args, **kwargs):
1931        raise AttributeError("No constructor defined - class is abstract")
1932    __repr__ = _swig_repr
1933    __swig_destroy__ = _impl.delete_taa_tgba_formula
1934
1935# Register taa_tgba_formula in _impl:
1936_impl.taa_tgba_formula_swigregister(taa_tgba_formula)
1937
1938make_taa_tgba_formula = _impl.make_taa_tgba_formula
1939class state_product(state):
1940    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1941    __repr__ = _swig_repr
1942
1943    def __init__(self, left: "state", right: "state", pool: "fixed_size_pool< pool_type::Safe > *"):
1944        _impl.state_product_swiginit(self, _impl.new_state_product(left, right, pool))
1945    left = _swig_new_instance_method(_impl.state_product_left)
1946    right = _swig_new_instance_method(_impl.state_product_right)
1947    clone = _swig_new_instance_method(_impl.state_product_clone)
1948
1949# Register state_product in _impl:
1950_impl.state_product_swigregister(state_product)
1951
1952class twa_product(twa):
1953    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1954    __repr__ = _swig_repr
1955
1956    def __init__(self, left: "spot::const_twa_ptr const &", right: "spot::const_twa_ptr const &"):
1957        _impl.twa_product_swiginit(self, _impl.new_twa_product(left, right))
1958    __swig_destroy__ = _impl.delete_twa_product
1959    left_acc = _swig_new_instance_method(_impl.twa_product_left_acc)
1960    right_acc = _swig_new_instance_method(_impl.twa_product_right_acc)
1961
1962# Register twa_product in _impl:
1963_impl.twa_product_swigregister(twa_product)
1964
1965class twa_product_init(twa_product):
1966    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1967    __repr__ = _swig_repr
1968
1969    def __init__(self, left: "spot::const_twa_ptr const &", right: "spot::const_twa_ptr const &", left_init: "state", right_init: "state"):
1970        _impl.twa_product_init_swiginit(self, _impl.new_twa_product_init(left, right, left_init, right_init))
1971    __swig_destroy__ = _impl.delete_twa_product_init
1972
1973# Register twa_product_init in _impl:
1974_impl.twa_product_init_swigregister(twa_product_init)
1975
1976otf_product = _impl.otf_product
1977otf_product_at = _impl.otf_product_at
1978class const_universal_dests(object):
1979    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1980    __repr__ = _swig_repr
1981
1982    def __init__(self, *args):
1983        _impl.const_universal_dests_swiginit(self, _impl.new_const_universal_dests(*args))
1984    begin = _swig_new_instance_method(_impl.const_universal_dests_begin)
1985    end = _swig_new_instance_method(_impl.const_universal_dests_end)
1986    __iter__ = _swig_new_instance_method(_impl.const_universal_dests___iter__)
1987    __swig_destroy__ = _impl.delete_const_universal_dests
1988
1989# Register const_universal_dests in _impl:
1990_impl.const_universal_dests_swigregister(const_universal_dests)
1991
1992class twa_graph_state(state):
1993    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
1994    __repr__ = _swig_repr
1995
1996    def __init__(self, *args):
1997        _impl.twa_graph_state_swiginit(self, _impl.new_twa_graph_state(*args))
1998    __swig_destroy__ = _impl.delete_twa_graph_state
1999    clone = _swig_new_instance_method(_impl.twa_graph_state_clone)
2000
2001# Register twa_graph_state in _impl:
2002_impl.twa_graph_state_swigregister(twa_graph_state)
2003
2004class twa_graph_edge_data(object):
2005    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2006    __repr__ = _swig_repr
2007    cond = property(_impl.twa_graph_edge_data_cond_get, _impl.twa_graph_edge_data_cond_set)
2008    acc = property(_impl.twa_graph_edge_data_acc_get, _impl.twa_graph_edge_data_acc_set)
2009
2010    def __init__(self, *args):
2011        _impl.twa_graph_edge_data_swiginit(self, _impl.new_twa_graph_edge_data(*args))
2012    __lt__ = _swig_new_instance_method(_impl.twa_graph_edge_data___lt__)
2013    __eq__ = _swig_new_instance_method(_impl.twa_graph_edge_data___eq__)
2014    __swig_destroy__ = _impl.delete_twa_graph_edge_data
2015
2016# Register twa_graph_edge_data in _impl:
2017_impl.twa_graph_edge_data_swigregister(twa_graph_edge_data)
2018
2019class twa_graph(twa):
2020    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2021    __repr__ = _swig_repr
2022    apply_permutation = _swig_new_instance_method(_impl.twa_graph_apply_permutation)
2023
2024    def __init__(self, *args):
2025        _impl.twa_graph_swiginit(self, _impl.new_twa_graph(*args))
2026    __swig_destroy__ = _impl.delete_twa_graph
2027    get_graph = _swig_new_instance_method(_impl.twa_graph_get_graph)
2028    num_states = _swig_new_instance_method(_impl.twa_graph_num_states)
2029    num_edges = _swig_new_instance_method(_impl.twa_graph_num_edges)
2030    set_init_state = _swig_new_instance_method(_impl.twa_graph_set_init_state)
2031    get_init_state_number = _swig_new_instance_method(_impl.twa_graph_get_init_state_number)
2032    get_init_state = _swig_new_instance_method(_impl.twa_graph_get_init_state)
2033    is_univ_dest = _swig_new_static_method(_impl.twa_graph_is_univ_dest)
2034    state_number = _swig_new_instance_method(_impl.twa_graph_state_number)
2035
2036    def state_from_number(self, src: 'unsigned int') -> "spot::twa_graph_state const *":
2037        self.report_univ_dest(src)
2038        return _impl.twa_graph_state_from_number(self, src)
2039
2040
2041    format_state = _swig_new_instance_method(_impl.twa_graph_format_state)
2042    edge_number = _swig_new_instance_method(_impl.twa_graph_edge_number)
2043    edge_data = _swig_new_instance_method(_impl.twa_graph_edge_data)
2044    edge_storage = _swig_new_instance_method(_impl.twa_graph_edge_storage)
2045    new_state = _swig_new_instance_method(_impl.twa_graph_new_state)
2046    new_states = _swig_new_instance_method(_impl.twa_graph_new_states)
2047    new_edge = _swig_new_instance_method(_impl.twa_graph_new_edge)
2048    new_acc_edge = _swig_new_instance_method(_impl.twa_graph_new_acc_edge)
2049
2050    def out(self, src: 'unsigned int'):
2051        self.report_univ_dest(src)
2052        return _impl.twa_graph_out(self, src)
2053
2054
2055    out_iteraser = _swig_new_instance_method(_impl.twa_graph_out_iteraser)
2056    univ_dests = _swig_new_instance_method(_impl.twa_graph_univ_dests)
2057    is_existential = _swig_new_instance_method(_impl.twa_graph_is_existential)
2058    edges = _swig_new_instance_method(_impl.twa_graph_edges)
2059    is_dead_edge = _swig_new_instance_method(_impl.twa_graph_is_dead_edge)
2060    merge_edges = _swig_new_instance_method(_impl.twa_graph_merge_edges)
2061    merge_univ_dests = _swig_new_instance_method(_impl.twa_graph_merge_univ_dests)
2062    merge_states = _swig_new_instance_method(_impl.twa_graph_merge_states)
2063    merge_states_of = _swig_new_instance_method(_impl.twa_graph_merge_states_of)
2064    purge_dead_states = _swig_new_instance_method(_impl.twa_graph_purge_dead_states)
2065    purge_unreachable_states = _swig_new_instance_method(_impl.twa_graph_purge_unreachable_states)
2066    remove_unused_ap = _swig_new_instance_method(_impl.twa_graph_remove_unused_ap)
2067    copy_state_names_from = _swig_new_instance_method(_impl.twa_graph_copy_state_names_from)
2068
2069    def state_acc_sets(self, src: 'unsigned int') -> "spot::acc_cond::mark_t":
2070        self.report_univ_dest(src)
2071        return _impl.twa_graph_state_acc_sets(self, src)
2072
2073
2074
2075    def state_is_accepting(self, src) -> "bool":
2076        if type(src) == int:
2077            self.report_univ_dest(src)
2078        return _impl.twa_graph_state_is_accepting(self, src)
2079
2080
2081    __eq__ = _swig_new_instance_method(_impl.twa_graph___eq__)
2082    kill_state = _swig_new_instance_method(_impl.twa_graph_kill_state)
2083    dump_storage_as_dot = _swig_new_instance_method(_impl.twa_graph_dump_storage_as_dot)
2084    new_univ_edge = _swig_new_instance_method(_impl.twa_graph_new_univ_edge)
2085    set_univ_init_state = _swig_new_instance_method(_impl.twa_graph_set_univ_init_state)
2086    report_univ_dest = _swig_new_instance_method(_impl.twa_graph_report_univ_dest)
2087
2088# Register twa_graph in _impl:
2089_impl.twa_graph_swigregister(twa_graph)
2090twa_graph_is_univ_dest = _impl.twa_graph_is_univ_dest
2091
2092make_twa_graph = _impl.make_twa_graph
2093class twa_graph_state_out(object):
2094    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2095    __repr__ = _swig_repr
2096
2097    def __init__(self, g: "spot::digraph< spot::twa_graph_state,spot::twa_graph_edge_data > *", t: "spot::internal::state_out< spot::digraph< spot::twa_graph_state,spot::twa_graph_edge_data > >::edge"):
2098        _impl.twa_graph_state_out_swiginit(self, _impl.new_twa_graph_state_out(g, t))
2099    begin = _swig_new_instance_method(_impl.twa_graph_state_out_begin)
2100    end = _swig_new_instance_method(_impl.twa_graph_state_out_end)
2101    recycle = _swig_new_instance_method(_impl.twa_graph_state_out_recycle)
2102    __iter__ = _swig_new_instance_method(_impl.twa_graph_state_out___iter__)
2103    __swig_destroy__ = _impl.delete_twa_graph_state_out
2104
2105# Register twa_graph_state_out in _impl:
2106_impl.twa_graph_state_out_swigregister(twa_graph_state_out)
2107
2108class twa_graph_killer_edge_iterator(object):
2109    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2110    __repr__ = _swig_repr
2111
2112    def __init__(self, g: "spot::digraph< spot::twa_graph_state,spot::twa_graph_edge_data > *", t: "spot::internal::killer_edge_iterator< spot::digraph< spot::twa_graph_state,spot::twa_graph_edge_data > >::edge", src: "spot::internal::killer_edge_iterator< spot::digraph< spot::twa_graph_state,spot::twa_graph_edge_data > >::state_storage_t &"):
2113        _impl.twa_graph_killer_edge_iterator_swiginit(self, _impl.new_twa_graph_killer_edge_iterator(g, t, src))
2114    erase = _swig_new_instance_method(_impl.twa_graph_killer_edge_iterator_erase)
2115    current = _swig_new_instance_method(_impl.twa_graph_killer_edge_iterator_current)
2116    advance = _swig_new_instance_method(_impl.twa_graph_killer_edge_iterator_advance)
2117    __bool__ = _swig_new_instance_method(_impl.twa_graph_killer_edge_iterator___bool__)
2118    __swig_destroy__ = _impl.delete_twa_graph_killer_edge_iterator
2119
2120# Register twa_graph_killer_edge_iterator in _impl:
2121_impl.twa_graph_killer_edge_iterator_swigregister(twa_graph_killer_edge_iterator)
2122
2123class twa_graph_all_trans(object):
2124    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2125    __repr__ = _swig_repr
2126
2127    def __init__(self, tv: "spot::internal::all_trans< spot::digraph< spot::twa_graph_state,spot::twa_graph_edge_data > >::tv_t &"):
2128        _impl.twa_graph_all_trans_swiginit(self, _impl.new_twa_graph_all_trans(tv))
2129    begin = _swig_new_instance_method(_impl.twa_graph_all_trans_begin)
2130    end = _swig_new_instance_method(_impl.twa_graph_all_trans_end)
2131    __iter__ = _swig_new_instance_method(_impl.twa_graph_all_trans___iter__)
2132    __swig_destroy__ = _impl.delete_twa_graph_all_trans
2133
2134# Register twa_graph_all_trans in _impl:
2135_impl.twa_graph_all_trans_swigregister(twa_graph_all_trans)
2136
2137class twa_graph_edge_boxed_data(twa_graph_edge_data):
2138    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2139    __repr__ = _swig_repr
2140
2141    def __init__(self):
2142        _impl.twa_graph_edge_boxed_data_swiginit(self, _impl.new_twa_graph_edge_boxed_data())
2143    data = _swig_new_instance_method(_impl.twa_graph_edge_boxed_data_data)
2144    __swig_destroy__ = _impl.delete_twa_graph_edge_boxed_data
2145
2146# Register twa_graph_edge_boxed_data in _impl:
2147_impl.twa_graph_edge_boxed_data_swigregister(twa_graph_edge_boxed_data)
2148
2149class twa_graph_edge_storage(twa_graph_edge_boxed_data):
2150    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2151    __repr__ = _swig_repr
2152    dst = property(_impl.twa_graph_edge_storage_dst_get, _impl.twa_graph_edge_storage_dst_set)
2153    next_succ = property(_impl.twa_graph_edge_storage_next_succ_get, _impl.twa_graph_edge_storage_next_succ_set)
2154    src = property(_impl.twa_graph_edge_storage_src_get, _impl.twa_graph_edge_storage_src_set)
2155
2156    def __init__(self):
2157        _impl.twa_graph_edge_storage_swiginit(self, _impl.new_twa_graph_edge_storage())
2158    __lt__ = _swig_new_instance_method(_impl.twa_graph_edge_storage___lt__)
2159    __eq__ = _swig_new_instance_method(_impl.twa_graph_edge_storage___eq__)
2160    __swig_destroy__ = _impl.delete_twa_graph_edge_storage
2161
2162# Register twa_graph_edge_storage in _impl:
2163_impl.twa_graph_edge_storage_swigregister(twa_graph_edge_storage)
2164
2165class aig(object):
2166    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2167    __repr__ = _swig_repr
2168
2169    def __init__(self, *args):
2170        _impl.aig_swiginit(self, _impl.new_aig(*args))
2171    __swig_destroy__ = _impl.delete_aig
2172    get_safe_point_ = _swig_new_instance_method(_impl.aig_get_safe_point_)
2173    roll_back_ = _swig_new_instance_method(_impl.aig_roll_back_)
2174    reapply_ = _swig_new_instance_method(_impl.aig_reapply_)
2175    num_outputs = _swig_new_instance_method(_impl.aig_num_outputs)
2176    outputs = _swig_new_instance_method(_impl.aig_outputs)
2177    output_names = _swig_new_instance_method(_impl.aig_output_names)
2178    num_inputs = _swig_new_instance_method(_impl.aig_num_inputs)
2179    input_names = _swig_new_instance_method(_impl.aig_input_names)
2180    num_latches = _swig_new_instance_method(_impl.aig_num_latches)
2181    next_latches = _swig_new_instance_method(_impl.aig_next_latches)
2182    num_gates = _swig_new_instance_method(_impl.aig_num_gates)
2183    gates = _swig_new_instance_method(_impl.aig_gates)
2184    max_var = _swig_new_instance_method(_impl.aig_max_var)
2185    input_var = _swig_new_instance_method(_impl.aig_input_var)
2186    input_bdd = _swig_new_instance_method(_impl.aig_input_bdd)
2187    latch_var = _swig_new_instance_method(_impl.aig_latch_var)
2188    latch_bdd = _swig_new_instance_method(_impl.aig_latch_bdd)
2189    gate_var = _swig_new_instance_method(_impl.aig_gate_var)
2190    gate_bdd = _swig_new_instance_method(_impl.aig_gate_bdd)
2191    aigvar2bdd = _swig_new_instance_method(_impl.aig_aigvar2bdd)
2192    bdd2aigvar = _swig_new_instance_method(_impl.aig_bdd2aigvar)
2193    bdd2INFvar = _swig_new_instance_method(_impl.aig_bdd2INFvar)
2194    bdd2ISOPvar = _swig_new_instance_method(_impl.aig_bdd2ISOPvar)
2195    encode_bdd = _swig_new_instance_method(_impl.aig_encode_bdd)
2196    set_output = _swig_new_instance_method(_impl.aig_set_output)
2197    set_next_latch = _swig_new_instance_method(_impl.aig_set_next_latch)
2198    aig_true = _swig_new_static_method(_impl.aig_aig_true)
2199    aig_false = _swig_new_static_method(_impl.aig_aig_false)
2200    aig_not = _swig_new_instance_method(_impl.aig_aig_not)
2201    aig_and = _swig_new_instance_method(_impl.aig_aig_and)
2202    aig_or = _swig_new_instance_method(_impl.aig_aig_or)
2203    aig_pos = _swig_new_instance_method(_impl.aig_aig_pos)
2204    encode_all_bdds = _swig_new_instance_method(_impl.aig_encode_all_bdds)
2205    parse_aag = _swig_new_static_method(_impl.aig_parse_aag)
2206    as_automaton = _swig_new_instance_method(_impl.aig_as_automaton)
2207    circ_state = _swig_new_instance_method(_impl.aig_circ_state)
2208    circ_state_of = _swig_new_instance_method(_impl.aig_circ_state_of)
2209    circ_init = _swig_new_instance_method(_impl.aig_circ_init)
2210    circ_step = _swig_new_instance_method(_impl.aig_circ_step)
2211
2212# Register aig in _impl:
2213_impl.aig_swigregister(aig)
2214aig_aig_true = _impl.aig_aig_true
2215aig_aig_false = _impl.aig_aig_false
2216aig_parse_aag = _impl.aig_parse_aag
2217
2218mealy_machine_to_aig = _impl.mealy_machine_to_aig
2219mealy_machines_to_aig = _impl.mealy_machines_to_aig
2220print_aiger = _impl.print_aiger
2221class outedge_combiner(object):
2222    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2223    __repr__ = _swig_repr
2224
2225    def __init__(self, aut: "spot::twa_graph_ptr const &"):
2226        _impl.outedge_combiner_swiginit(self, _impl.new_outedge_combiner(aut))
2227    __swig_destroy__ = _impl.delete_outedge_combiner
2228    __call__ = _swig_new_instance_method(_impl.outedge_combiner___call__)
2229    new_dests = _swig_new_instance_method(_impl.outedge_combiner_new_dests)
2230
2231# Register outedge_combiner in _impl:
2232_impl.outedge_combiner_swigregister(outedge_combiner)
2233
2234remove_alternation = _impl.remove_alternation
2235class univ_remover_state(state):
2236    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2237    __repr__ = _swig_repr
2238
2239    def __init__(self, *args):
2240        _impl.univ_remover_state_swiginit(self, _impl.new_univ_remover_state(*args))
2241    states = _swig_new_instance_method(_impl.univ_remover_state_states)
2242    is_reset = _swig_new_instance_method(_impl.univ_remover_state_is_reset)
2243    __swig_destroy__ = _impl.delete_univ_remover_state
2244
2245# Register univ_remover_state in _impl:
2246_impl.univ_remover_state_swigregister(univ_remover_state)
2247
2248class twa_univ_remover(twa):
2249    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2250    __repr__ = _swig_repr
2251
2252    def __init__(self, aut: "spot::const_twa_graph_ptr const &"):
2253        _impl.twa_univ_remover_swiginit(self, _impl.new_twa_univ_remover(aut))
2254    allocate_state_vars = _swig_new_instance_method(_impl.twa_univ_remover_allocate_state_vars)
2255    __swig_destroy__ = _impl.delete_twa_univ_remover
2256
2257# Register twa_univ_remover in _impl:
2258_impl.twa_univ_remover_swigregister(twa_univ_remover)
2259
2260remove_univ_otf = _impl.remove_univ_otf
2261cleanup_acceptance_here = _impl.cleanup_acceptance_here
2262cleanup_acceptance = _impl.cleanup_acceptance
2263simplify_acceptance_here = _impl.simplify_acceptance_here
2264simplify_acceptance = _impl.simplify_acceptance
2265degeneralize = _impl.degeneralize
2266degeneralize_tba = _impl.degeneralize_tba
2267partial_degeneralize = _impl.partial_degeneralize
2268is_partially_degeneralizable = _impl.is_partially_degeneralizable
2269propagate_marks_vector = _impl.propagate_marks_vector
2270propagate_marks_here = _impl.propagate_marks_here
2271class nca_st_info(object):
2272    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2273    __repr__ = _swig_repr
2274    clause_num = property(_impl.nca_st_info_clause_num_get, _impl.nca_st_info_clause_num_set)
2275    state_num = property(_impl.nca_st_info_state_num_get, _impl.nca_st_info_state_num_set)
2276    all_dst = property(_impl.nca_st_info_all_dst_get, _impl.nca_st_info_all_dst_set)
2277
2278    def __init__(self, clause: "unsigned int", st: "unsigned int", dst: "bitvect *"):
2279        _impl.nca_st_info_swiginit(self, _impl.new_nca_st_info(clause, st, dst))
2280    __swig_destroy__ = _impl.delete_nca_st_info
2281
2282# Register nca_st_info in _impl:
2283_impl.nca_st_info_swigregister(nca_st_info)
2284
2285nsa_to_nca = _impl.nsa_to_nca
2286dnf_to_nca = _impl.dnf_to_nca
2287to_nca = _impl.to_nca
2288nsa_to_dca = _impl.nsa_to_dca
2289dnf_to_dca = _impl.dnf_to_dca
2290to_dca = _impl.to_dca
2291copy = _impl.copy
2292complete_here = _impl.complete_here
2293complete = _impl.complete
2294class emptiness_check_result(object):
2295    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2296    __repr__ = _swig_repr
2297
2298    def __init__(self, *args):
2299        _impl.emptiness_check_result_swiginit(self, _impl.new_emptiness_check_result(*args))
2300    __swig_destroy__ = _impl.delete_emptiness_check_result
2301    accepting_run = _swig_new_instance_method(_impl.emptiness_check_result_accepting_run)
2302    automaton = _swig_new_instance_method(_impl.emptiness_check_result_automaton)
2303    options = _swig_new_instance_method(_impl.emptiness_check_result_options)
2304    parse_options = _swig_new_instance_method(_impl.emptiness_check_result_parse_options)
2305    statistics = _swig_new_instance_method(_impl.emptiness_check_result_statistics)
2306
2307# Register emptiness_check_result in _impl:
2308_impl.emptiness_check_result_swigregister(emptiness_check_result)
2309
2310class emptiness_check(object):
2311    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2312
2313    def __init__(self, *args, **kwargs):
2314        raise AttributeError("No constructor defined - class is abstract")
2315    __repr__ = _swig_repr
2316    __swig_destroy__ = _impl.delete_emptiness_check
2317    automaton = _swig_new_instance_method(_impl.emptiness_check_automaton)
2318    options = _swig_new_instance_method(_impl.emptiness_check_options)
2319    parse_options = _swig_new_instance_method(_impl.emptiness_check_parse_options)
2320    safe = _swig_new_instance_method(_impl.emptiness_check_safe)
2321    check = _swig_new_instance_method(_impl.emptiness_check_check)
2322    statistics = _swig_new_instance_method(_impl.emptiness_check_statistics)
2323    emptiness_check_statistics = _swig_new_instance_method(_impl.emptiness_check_emptiness_check_statistics)
2324    print_stats = _swig_new_instance_method(_impl.emptiness_check_print_stats)
2325    options_updated = _swig_new_instance_method(_impl.emptiness_check_options_updated)
2326
2327# Register emptiness_check in _impl:
2328_impl.emptiness_check_swigregister(emptiness_check)
2329
2330class emptiness_check_instantiator(object):
2331    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2332
2333    def __init__(self, *args, **kwargs):
2334        raise AttributeError("No constructor defined")
2335    __repr__ = _swig_repr
2336    instantiate = _swig_new_instance_method(_impl.emptiness_check_instantiator_instantiate)
2337    options = _swig_new_instance_method(_impl.emptiness_check_instantiator_options)
2338    min_sets = _swig_new_instance_method(_impl.emptiness_check_instantiator_min_sets)
2339    max_sets = _swig_new_instance_method(_impl.emptiness_check_instantiator_max_sets)
2340    __swig_destroy__ = _impl.delete_emptiness_check_instantiator
2341
2342# Register emptiness_check_instantiator in _impl:
2343_impl.emptiness_check_instantiator_swigregister(emptiness_check_instantiator)
2344
2345make_emptiness_check_instantiator = _impl.make_emptiness_check_instantiator
2346class twa_run(object):
2347    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2348    __repr__ = _swig_repr
2349    prefix = property(_impl.twa_run_prefix_get, _impl.twa_run_prefix_set)
2350    cycle = property(_impl.twa_run_cycle_get, _impl.twa_run_cycle_set)
2351    aut = property(_impl.twa_run_aut_get, _impl.twa_run_aut_set)
2352    __swig_destroy__ = _impl.delete_twa_run
2353
2354    def __init__(self, *args):
2355        _impl.twa_run_swiginit(self, _impl.new_twa_run(*args))
2356    ensure_non_empty_cycle = _swig_new_instance_method(_impl.twa_run_ensure_non_empty_cycle)
2357    reduce = _swig_new_instance_method(_impl.twa_run_reduce)
2358    project = _swig_new_instance_method(_impl.twa_run_project)
2359    replay = _swig_new_instance_method(_impl.twa_run_replay)
2360    highlight = _swig_new_instance_method(_impl.twa_run_highlight)
2361    as_twa = _swig_new_instance_method(_impl.twa_run_as_twa)
2362    __str__ = _swig_new_instance_method(_impl.twa_run___str__)
2363
2364# Register twa_run in _impl:
2365_impl.twa_run_swigregister(twa_run)
2366
2367class step(object):
2368    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2369    __repr__ = _swig_repr
2370    s = property(_impl.step_s_get, _impl.step_s_set)
2371    label = property(_impl.step_label_get, _impl.step_label_set)
2372    acc = property(_impl.step_acc_get, _impl.step_acc_set)
2373
2374    def __init__(self, *args):
2375        _impl.step_swiginit(self, _impl.new_step(*args))
2376    __swig_destroy__ = _impl.delete_step
2377
2378# Register step in _impl:
2379_impl.step_swigregister(step)
2380
2381class list_step(object):
2382    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2383    __repr__ = _swig_repr
2384    iterator = _swig_new_instance_method(_impl.list_step_iterator)
2385    def __iter__(self):
2386        return self.iterator()
2387    __nonzero__ = _swig_new_instance_method(_impl.list_step___nonzero__)
2388    __bool__ = _swig_new_instance_method(_impl.list_step___bool__)
2389    __len__ = _swig_new_instance_method(_impl.list_step___len__)
2390    __getslice__ = _swig_new_instance_method(_impl.list_step___getslice__)
2391    __setslice__ = _swig_new_instance_method(_impl.list_step___setslice__)
2392    __delslice__ = _swig_new_instance_method(_impl.list_step___delslice__)
2393    __delitem__ = _swig_new_instance_method(_impl.list_step___delitem__)
2394    __getitem__ = _swig_new_instance_method(_impl.list_step___getitem__)
2395    __setitem__ = _swig_new_instance_method(_impl.list_step___setitem__)
2396    pop = _swig_new_instance_method(_impl.list_step_pop)
2397    append = _swig_new_instance_method(_impl.list_step_append)
2398    empty = _swig_new_instance_method(_impl.list_step_empty)
2399    size = _swig_new_instance_method(_impl.list_step_size)
2400    swap = _swig_new_instance_method(_impl.list_step_swap)
2401    begin = _swig_new_instance_method(_impl.list_step_begin)
2402    end = _swig_new_instance_method(_impl.list_step_end)
2403    rbegin = _swig_new_instance_method(_impl.list_step_rbegin)
2404    rend = _swig_new_instance_method(_impl.list_step_rend)
2405    clear = _swig_new_instance_method(_impl.list_step_clear)
2406    get_allocator = _swig_new_instance_method(_impl.list_step_get_allocator)
2407    pop_back = _swig_new_instance_method(_impl.list_step_pop_back)
2408    erase = _swig_new_instance_method(_impl.list_step_erase)
2409
2410    def __init__(self, *args):
2411        _impl.list_step_swiginit(self, _impl.new_list_step(*args))
2412    push_back = _swig_new_instance_method(_impl.list_step_push_back)
2413    front = _swig_new_instance_method(_impl.list_step_front)
2414    back = _swig_new_instance_method(_impl.list_step_back)
2415    assign = _swig_new_instance_method(_impl.list_step_assign)
2416    resize = _swig_new_instance_method(_impl.list_step_resize)
2417    insert = _swig_new_instance_method(_impl.list_step_insert)
2418    pop_front = _swig_new_instance_method(_impl.list_step_pop_front)
2419    push_front = _swig_new_instance_method(_impl.list_step_push_front)
2420    reverse = _swig_new_instance_method(_impl.list_step_reverse)
2421    __swig_destroy__ = _impl.delete_list_step
2422
2423# Register list_step in _impl:
2424_impl.list_step_swigregister(list_step)
2425
2426couvreur99 = _impl.couvreur99
2427generic_emptiness_check = _impl.generic_emptiness_check
2428generic_accepting_run = _impl.generic_accepting_run
2429generic_emptiness_check_for_scc = _impl.generic_emptiness_check_for_scc
2430generic_emptiness_check_select_version = _impl.generic_emptiness_check_select_version
2431print_lbtt = _impl.print_lbtt
2432ltl_to_taa = _impl.ltl_to_taa
2433ltl_to_tgba_fm = _impl.ltl_to_tgba_fm
2434g_f_terminal_inplace = _impl.g_f_terminal_inplace
2435gf_guarantee_to_ba_maybe = _impl.gf_guarantee_to_ba_maybe
2436gf_guarantee_to_ba = _impl.gf_guarantee_to_ba
2437fg_safety_to_dca_maybe = _impl.fg_safety_to_dca_maybe
2438fg_safety_to_dca = _impl.fg_safety_to_dca
2439compsusp = _impl.compsusp
2440contains = _impl.contains
2441are_equivalent = _impl.are_equivalent
2442tgba_determinize = _impl.tgba_determinize
2443dualize = _impl.dualize
2444language_map = _impl.language_map
2445highlight_languages = _impl.highlight_languages
2446explicit_magic_search = _impl.explicit_magic_search
2447bit_state_hashing_magic_search = _impl.bit_state_hashing_magic_search
2448magic_search = _impl.magic_search
2449minimize_monitor = _impl.minimize_monitor
2450minimize_wdba = _impl.minimize_wdba
2451minimize_obligation = _impl.minimize_obligation
2452minimize_obligation_garanteed_to_work = _impl.minimize_obligation_garanteed_to_work
2453is_mealy = _impl.is_mealy
2454is_separated_mealy = _impl.is_separated_mealy
2455is_split_mealy = _impl.is_split_mealy
2456is_input_deterministic_mealy = _impl.is_input_deterministic_mealy
2457split_separated_mealy = _impl.split_separated_mealy
2458split_separated_mealy_here = _impl.split_separated_mealy_here
2459unsplit_mealy = _impl.unsplit_mealy
2460reduce_mealy = _impl.reduce_mealy
2461reduce_mealy_here = _impl.reduce_mealy_here
2462minimize_mealy = _impl.minimize_mealy
2463is_split_mealy_specialization = _impl.is_split_mealy_specialization
2464print_never_claim = _impl.print_never_claim
2465randomize = _impl.randomize
2466rabin_is_buchi_realizable = _impl.rabin_is_buchi_realizable
2467rabin_to_buchi_if_realizable = _impl.rabin_to_buchi_if_realizable
2468rabin_to_buchi_maybe = _impl.rabin_to_buchi_maybe
2469remove_fin = _impl.remove_fin
2470class remove_ap(object):
2471    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2472    __repr__ = _swig_repr
2473    add_ap = _swig_new_instance_method(_impl.remove_ap_add_ap)
2474    empty = _swig_new_instance_method(_impl.remove_ap_empty)
2475    strip = _swig_new_instance_method(_impl.remove_ap_strip)
2476
2477    def __init__(self):
2478        _impl.remove_ap_swiginit(self, _impl.new_remove_ap())
2479    __swig_destroy__ = _impl.delete_remove_ap
2480
2481# Register remove_ap in _impl:
2482_impl.remove_ap_swigregister(remove_ap)
2483
2484to_generalized_buchi = _impl.to_generalized_buchi
2485streett_to_generalized_buchi = _impl.streett_to_generalized_buchi
2486streett_to_generalized_buchi_maybe = _impl.streett_to_generalized_buchi_maybe
2487to_generalized_rabin = _impl.to_generalized_rabin
2488to_generalized_streett = _impl.to_generalized_streett
2489dnf_to_streett = _impl.dnf_to_streett
2490sbacc = _impl.sbacc
2491edge_filter_choice_keep = _impl.edge_filter_choice_keep
2492edge_filter_choice_ignore = _impl.edge_filter_choice_ignore
2493edge_filter_choice_cut = _impl.edge_filter_choice_cut
2494class keep_all(object):
2495    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2496    __repr__ = _swig_repr
2497
2498    def __init__(self):
2499        _impl.keep_all_swiginit(self, _impl.new_keep_all())
2500    __swig_destroy__ = _impl.delete_keep_all
2501
2502# Register keep_all in _impl:
2503_impl.keep_all_swigregister(keep_all)
2504
2505class keep_inner_scc(object):
2506    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2507    __repr__ = _swig_repr
2508
2509    def __init__(self, sccof: "vectorunsigned", desired_scc: "unsigned int"):
2510        _impl.keep_inner_scc_swiginit(self, _impl.new_keep_inner_scc(sccof, desired_scc))
2511    __swig_destroy__ = _impl.delete_keep_inner_scc
2512
2513# Register keep_inner_scc in _impl:
2514_impl.keep_inner_scc_swigregister(keep_inner_scc)
2515
2516class scc_info_node(object):
2517    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2518    __repr__ = _swig_repr
2519
2520    def __init__(self, *args):
2521        _impl.scc_info_node_swiginit(self, _impl.new_scc_info_node(*args))
2522    is_trivial = _swig_new_instance_method(_impl.scc_info_node_is_trivial)
2523    is_accepting = _swig_new_instance_method(_impl.scc_info_node_is_accepting)
2524    is_rejecting = _swig_new_instance_method(_impl.scc_info_node_is_rejecting)
2525    is_useful = _swig_new_instance_method(_impl.scc_info_node_is_useful)
2526    acc_marks = _swig_new_instance_method(_impl.scc_info_node_acc_marks)
2527    common_marks = _swig_new_instance_method(_impl.scc_info_node_common_marks)
2528    states = _swig_new_instance_method(_impl.scc_info_node_states)
2529    one_state = _swig_new_instance_method(_impl.scc_info_node_one_state)
2530    succ = _swig_new_instance_method(_impl.scc_info_node_succ)
2531    __swig_destroy__ = _impl.delete_scc_info_node
2532
2533# Register scc_info_node in _impl:
2534_impl.scc_info_node_swigregister(scc_info_node)
2535
2536scc_info_options_NONE = _impl.scc_info_options_NONE
2537scc_info_options_STOP_ON_ACC = _impl.scc_info_options_STOP_ON_ACC
2538scc_info_options_TRACK_STATES = _impl.scc_info_options_TRACK_STATES
2539scc_info_options_TRACK_SUCCS = _impl.scc_info_options_TRACK_SUCCS
2540scc_info_options_TRACK_STATES_IF_FIN_USED = _impl.scc_info_options_TRACK_STATES_IF_FIN_USED
2541scc_info_options_ALL = _impl.scc_info_options_ALL
2542__and__ = _impl.__and__
2543__or__ = _impl.__or__
2544class scc_info(object):
2545    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2546    __repr__ = _swig_repr
2547
2548    def __init__(self, *args):
2549        _impl.scc_info_swiginit(self, _impl.new_scc_info(*args))
2550    get_aut = _swig_new_instance_method(_impl.scc_info_get_aut)
2551    get_options = _swig_new_instance_method(_impl.scc_info_get_options)
2552    get_filter = _swig_new_instance_method(_impl.scc_info_get_filter)
2553    get_filter_data = _swig_new_instance_method(_impl.scc_info_get_filter_data)
2554    scc_count = _swig_new_instance_method(_impl.scc_info_scc_count)
2555    one_accepting_scc = _swig_new_instance_method(_impl.scc_info_one_accepting_scc)
2556    reachable_state = _swig_new_instance_method(_impl.scc_info_reachable_state)
2557    scc_of = _swig_new_instance_method(_impl.scc_info_scc_of)
2558    begin = _swig_new_instance_method(_impl.scc_info_begin)
2559    end = _swig_new_instance_method(_impl.scc_info_end)
2560    cbegin = _swig_new_instance_method(_impl.scc_info_cbegin)
2561    cend = _swig_new_instance_method(_impl.scc_info_cend)
2562    rbegin = _swig_new_instance_method(_impl.scc_info_rbegin)
2563    rend = _swig_new_instance_method(_impl.scc_info_rend)
2564    states_of = _swig_new_instance_method(_impl.scc_info_states_of)
2565    edges_of = _swig_new_instance_method(_impl.scc_info_edges_of)
2566    inner_edges_of = _swig_new_instance_method(_impl.scc_info_inner_edges_of)
2567    one_state_of = _swig_new_instance_method(_impl.scc_info_one_state_of)
2568    initial = _swig_new_instance_method(_impl.scc_info_initial)
2569    succ = _swig_new_instance_method(_impl.scc_info_succ)
2570    is_trivial = _swig_new_instance_method(_impl.scc_info_is_trivial)
2571    acc = _swig_new_instance_method(_impl.scc_info_acc)
2572    is_accepting_scc = _swig_new_instance_method(_impl.scc_info_is_accepting_scc)
2573    is_rejecting_scc = _swig_new_instance_method(_impl.scc_info_is_rejecting_scc)
2574    is_maximally_accepting_scc = _swig_new_instance_method(_impl.scc_info_is_maximally_accepting_scc)
2575    determine_unknown_acceptance = _swig_new_instance_method(_impl.scc_info_determine_unknown_acceptance)
2576    check_scc_emptiness = _swig_new_instance_method(_impl.scc_info_check_scc_emptiness)
2577    get_accepting_run = _swig_new_instance_method(_impl.scc_info_get_accepting_run)
2578    is_useful_scc = _swig_new_instance_method(_impl.scc_info_is_useful_scc)
2579    is_useful_state = _swig_new_instance_method(_impl.scc_info_is_useful_state)
2580    marks = _swig_new_instance_method(_impl.scc_info_marks)
2581    marks_of = _swig_new_instance_method(_impl.scc_info_marks_of)
2582    used_acc = _swig_new_instance_method(_impl.scc_info_used_acc)
2583    used_acc_of = _swig_new_instance_method(_impl.scc_info_used_acc_of)
2584    acc_sets_of = _swig_new_instance_method(_impl.scc_info_acc_sets_of)
2585    common_sets_of = _swig_new_instance_method(_impl.scc_info_common_sets_of)
2586    weak_sccs = _swig_new_instance_method(_impl.scc_info_weak_sccs)
2587    scc_ap_support = _swig_new_instance_method(_impl.scc_info_scc_ap_support)
2588    split_on_sets = _swig_new_instance_method(_impl.scc_info_split_on_sets)
2589    states_on_acc_cycle_of = _swig_new_instance_method(_impl.scc_info_states_on_acc_cycle_of)
2590    __iter__ = _swig_new_instance_method(_impl.scc_info___iter__)
2591    __swig_destroy__ = _impl.delete_scc_info
2592
2593# Register scc_info in _impl:
2594_impl.scc_info_swigregister(scc_info)
2595
2596def scc_info_with_options(*args):
2597    val = _impl.new_scc_info_with_options(*args)
2598    return val
2599
2600class scc_and_mark_filter(object):
2601    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2602    __repr__ = _swig_repr
2603
2604    def __init__(self, *args):
2605        _impl.scc_and_mark_filter_swiginit(self, _impl.new_scc_and_mark_filter(*args))
2606    __swig_destroy__ = _impl.delete_scc_and_mark_filter
2607    override_acceptance = _swig_new_instance_method(_impl.scc_and_mark_filter_override_acceptance)
2608    restore_acceptance = _swig_new_instance_method(_impl.scc_and_mark_filter_restore_acceptance)
2609    get_aut = _swig_new_instance_method(_impl.scc_and_mark_filter_get_aut)
2610    start_state = _swig_new_instance_method(_impl.scc_and_mark_filter_start_state)
2611    get_filter = _swig_new_instance_method(_impl.scc_and_mark_filter_get_filter)
2612
2613# Register scc_and_mark_filter in _impl:
2614_impl.scc_and_mark_filter_swigregister(scc_and_mark_filter)
2615
2616dump_scc_info_dot = _impl.dump_scc_info_dot
2617class scc_info_scc_edges(object):
2618    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2619    __repr__ = _swig_repr
2620
2621    def __init__(self, begin: "spot::internal::scc_edges< spot::digraph< spot::twa_graph_state,spot::twa_graph_edge_data > const,spot::internal::keep_all >::state_iterator", end: "spot::internal::scc_edges< spot::digraph< spot::twa_graph_state,spot::twa_graph_edge_data > const,spot::internal::keep_all >::state_iterator", tv: "spot::internal::scc_edges< spot::digraph< spot::twa_graph_state,spot::twa_graph_edge_data > const,spot::internal::keep_all >::tv_t *", sv: "spot::internal::scc_edges< spot::digraph< spot::twa_graph_state,spot::twa_graph_edge_data > const,spot::internal::keep_all >::sv_t *", dv: "spot::internal::scc_edges< spot::digraph< spot::twa_graph_state,spot::twa_graph_edge_data > const,spot::internal::keep_all >::dv_t *", filt: "keep_all", efilter: "spot::edge_filter", efilter_data: "void *"):
2622        _impl.scc_info_scc_edges_swiginit(self, _impl.new_scc_info_scc_edges(begin, end, tv, sv, dv, filt, efilter, efilter_data))
2623    begin = _swig_new_instance_method(_impl.scc_info_scc_edges_begin)
2624    end = _swig_new_instance_method(_impl.scc_info_scc_edges_end)
2625    __iter__ = _swig_new_instance_method(_impl.scc_info_scc_edges___iter__)
2626    __swig_destroy__ = _impl.delete_scc_info_scc_edges
2627
2628# Register scc_info_scc_edges in _impl:
2629_impl.scc_info_scc_edges_swigregister(scc_info_scc_edges)
2630
2631class scc_info_inner_scc_edges(object):
2632    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2633    __repr__ = _swig_repr
2634
2635    def __init__(self, begin: "spot::internal::scc_edges< spot::digraph< spot::twa_graph_state,spot::twa_graph_edge_data > const,spot::internal::keep_inner_scc >::state_iterator", end: "spot::internal::scc_edges< spot::digraph< spot::twa_graph_state,spot::twa_graph_edge_data > const,spot::internal::keep_inner_scc >::state_iterator", tv: "spot::internal::scc_edges< spot::digraph< spot::twa_graph_state,spot::twa_graph_edge_data > const,spot::internal::keep_inner_scc >::tv_t *", sv: "spot::internal::scc_edges< spot::digraph< spot::twa_graph_state,spot::twa_graph_edge_data > const,spot::internal::keep_inner_scc >::sv_t *", dv: "spot::internal::scc_edges< spot::digraph< spot::twa_graph_state,spot::twa_graph_edge_data > const,spot::internal::keep_inner_scc >::dv_t *", filt: "keep_inner_scc", efilter: "spot::edge_filter", efilter_data: "void *"):
2636        _impl.scc_info_inner_scc_edges_swiginit(self, _impl.new_scc_info_inner_scc_edges(begin, end, tv, sv, dv, filt, efilter, efilter_data))
2637    begin = _swig_new_instance_method(_impl.scc_info_inner_scc_edges_begin)
2638    end = _swig_new_instance_method(_impl.scc_info_inner_scc_edges_end)
2639    __iter__ = _swig_new_instance_method(_impl.scc_info_inner_scc_edges___iter__)
2640    __swig_destroy__ = _impl.delete_scc_info_inner_scc_edges
2641
2642# Register scc_info_inner_scc_edges in _impl:
2643_impl.scc_info_inner_scc_edges_swigregister(scc_info_inner_scc_edges)
2644
2645class vector_twa_graph(object):
2646    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2647    __repr__ = _swig_repr
2648    iterator = _swig_new_instance_method(_impl.vector_twa_graph_iterator)
2649    def __iter__(self):
2650        return self.iterator()
2651    __nonzero__ = _swig_new_instance_method(_impl.vector_twa_graph___nonzero__)
2652    __bool__ = _swig_new_instance_method(_impl.vector_twa_graph___bool__)
2653    __len__ = _swig_new_instance_method(_impl.vector_twa_graph___len__)
2654    __getslice__ = _swig_new_instance_method(_impl.vector_twa_graph___getslice__)
2655    __setslice__ = _swig_new_instance_method(_impl.vector_twa_graph___setslice__)
2656    __delslice__ = _swig_new_instance_method(_impl.vector_twa_graph___delslice__)
2657    __delitem__ = _swig_new_instance_method(_impl.vector_twa_graph___delitem__)
2658    __getitem__ = _swig_new_instance_method(_impl.vector_twa_graph___getitem__)
2659    __setitem__ = _swig_new_instance_method(_impl.vector_twa_graph___setitem__)
2660    pop = _swig_new_instance_method(_impl.vector_twa_graph_pop)
2661    append = _swig_new_instance_method(_impl.vector_twa_graph_append)
2662    empty = _swig_new_instance_method(_impl.vector_twa_graph_empty)
2663    size = _swig_new_instance_method(_impl.vector_twa_graph_size)
2664    swap = _swig_new_instance_method(_impl.vector_twa_graph_swap)
2665    begin = _swig_new_instance_method(_impl.vector_twa_graph_begin)
2666    end = _swig_new_instance_method(_impl.vector_twa_graph_end)
2667    rbegin = _swig_new_instance_method(_impl.vector_twa_graph_rbegin)
2668    rend = _swig_new_instance_method(_impl.vector_twa_graph_rend)
2669    clear = _swig_new_instance_method(_impl.vector_twa_graph_clear)
2670    get_allocator = _swig_new_instance_method(_impl.vector_twa_graph_get_allocator)
2671    pop_back = _swig_new_instance_method(_impl.vector_twa_graph_pop_back)
2672    erase = _swig_new_instance_method(_impl.vector_twa_graph_erase)
2673
2674    def __init__(self, *args):
2675        _impl.vector_twa_graph_swiginit(self, _impl.new_vector_twa_graph(*args))
2676    push_back = _swig_new_instance_method(_impl.vector_twa_graph_push_back)
2677    front = _swig_new_instance_method(_impl.vector_twa_graph_front)
2678    back = _swig_new_instance_method(_impl.vector_twa_graph_back)
2679    assign = _swig_new_instance_method(_impl.vector_twa_graph_assign)
2680    resize = _swig_new_instance_method(_impl.vector_twa_graph_resize)
2681    insert = _swig_new_instance_method(_impl.vector_twa_graph_insert)
2682    reserve = _swig_new_instance_method(_impl.vector_twa_graph_reserve)
2683    capacity = _swig_new_instance_method(_impl.vector_twa_graph_capacity)
2684    __swig_destroy__ = _impl.delete_vector_twa_graph
2685
2686# Register vector_twa_graph in _impl:
2687_impl.vector_twa_graph_swigregister(vector_twa_graph)
2688
2689is_terminal_automaton = _impl.is_terminal_automaton
2690is_weak_automaton = _impl.is_weak_automaton
2691is_very_weak_automaton = _impl.is_very_weak_automaton
2692is_inherently_weak_automaton = _impl.is_inherently_weak_automaton
2693is_safety_automaton = _impl.is_safety_automaton
2694is_liveness_automaton = _impl.is_liveness_automaton
2695check_strength = _impl.check_strength
2696decompose_strength = _impl.decompose_strength
2697decompose_scc = _impl.decompose_scc
2698scc_filter = _impl.scc_filter
2699scc_filter_states = _impl.scc_filter_states
2700scc_filter_susp = _impl.scc_filter_susp
2701class twa_statistics(object):
2702    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2703    __repr__ = _swig_repr
2704    edges = property(_impl.twa_statistics_edges_get, _impl.twa_statistics_edges_set)
2705    states = property(_impl.twa_statistics_states_get, _impl.twa_statistics_states_set)
2706
2707    def __init__(self):
2708        _impl.twa_statistics_swiginit(self, _impl.new_twa_statistics())
2709    dump = _swig_new_instance_method(_impl.twa_statistics_dump)
2710    __swig_destroy__ = _impl.delete_twa_statistics
2711
2712# Register twa_statistics in _impl:
2713_impl.twa_statistics_swigregister(twa_statistics)
2714
2715class twa_sub_statistics(twa_statistics):
2716    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2717    __repr__ = _swig_repr
2718    transitions = property(_impl.twa_sub_statistics_transitions_get, _impl.twa_sub_statistics_transitions_set)
2719
2720    def __init__(self):
2721        _impl.twa_sub_statistics_swiginit(self, _impl.new_twa_sub_statistics())
2722    dump = _swig_new_instance_method(_impl.twa_sub_statistics_dump)
2723    __swig_destroy__ = _impl.delete_twa_sub_statistics
2724
2725# Register twa_sub_statistics in _impl:
2726_impl.twa_sub_statistics_swigregister(twa_sub_statistics)
2727
2728sub_stats_reachable = _impl.sub_stats_reachable
2729class printable_formula(object):
2730    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2731    __repr__ = _swig_repr
2732    _print = _swig_new_instance_method(_impl.printable_formula__print)
2733
2734    def __init__(self):
2735        _impl.printable_formula_swiginit(self, _impl.new_printable_formula())
2736    __swig_destroy__ = _impl.delete_printable_formula
2737
2738# Register printable_formula in _impl:
2739_impl.printable_formula_swigregister(printable_formula)
2740
2741class printable_acc_cond(object):
2742    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2743    __repr__ = _swig_repr
2744    _print = _swig_new_instance_method(_impl.printable_acc_cond__print)
2745
2746    def __init__(self):
2747        _impl.printable_acc_cond_swiginit(self, _impl.new_printable_acc_cond())
2748    __swig_destroy__ = _impl.delete_printable_acc_cond
2749
2750# Register printable_acc_cond in _impl:
2751_impl.printable_acc_cond_swigregister(printable_acc_cond)
2752
2753class printable_scc_info(object):
2754    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2755    __repr__ = _swig_repr
2756    automaton = _swig_new_instance_method(_impl.printable_scc_info_automaton)
2757    reset = _swig_new_instance_method(_impl.printable_scc_info_reset)
2758    _print = _swig_new_instance_method(_impl.printable_scc_info__print)
2759
2760    def __init__(self):
2761        _impl.printable_scc_info_swiginit(self, _impl.new_printable_scc_info())
2762    __swig_destroy__ = _impl.delete_printable_scc_info
2763
2764# Register printable_scc_info in _impl:
2765_impl.printable_scc_info_swigregister(printable_scc_info)
2766
2767class stat_printer(object):
2768    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2769    __repr__ = _swig_repr
2770
2771    def __init__(self, os: "ostream", format: "char const *"):
2772        _impl.stat_printer_swiginit(self, _impl.new_stat_printer(os, format))
2773    _print = _swig_new_instance_method(_impl.stat_printer__print)
2774    __swig_destroy__ = _impl.delete_stat_printer
2775
2776# Register stat_printer in _impl:
2777_impl.stat_printer_swigregister(stat_printer)
2778
2779count_nondet_states = _impl.count_nondet_states
2780is_universal = _impl.is_universal
2781is_deterministic = _impl.is_deterministic
2782highlight_nondet_states = _impl.highlight_nondet_states
2783highlight_nondet_edges = _impl.highlight_nondet_edges
2784highlight_semidet_sccs = _impl.highlight_semidet_sccs
2785is_complete = _impl.is_complete
2786is_semi_deterministic = _impl.is_semi_deterministic
2787semidet_sccs = _impl.semidet_sccs
2788check_determinism = _impl.check_determinism
2789count_univbranch_states = _impl.count_univbranch_states
2790count_univbranch_edges = _impl.count_univbranch_edges
2791is_colored = _impl.is_colored
2792is_unambiguous = _impl.is_unambiguous
2793check_unambiguous = _impl.check_unambiguous
2794scc_has_rejecting_cycle = _impl.scc_has_rejecting_cycle
2795is_inherently_weak_scc = _impl.is_inherently_weak_scc
2796is_weak_scc = _impl.is_weak_scc
2797is_complete_scc = _impl.is_complete_scc
2798is_terminal_scc = _impl.is_terminal_scc
2799alternate_players = _impl.alternate_players
2800solve_parity_game = _impl.solve_parity_game
2801solve_safety_game = _impl.solve_safety_game
2802pg_print = _impl.pg_print
2803highlight_strategy = _impl.highlight_strategy
2804set_state_players = _impl.set_state_players
2805set_state_player = _impl.set_state_player
2806get_state_player = _impl.get_state_player
2807get_state_players = _impl.get_state_players
2808get_strategy = _impl.get_strategy
2809set_strategy = _impl.set_strategy
2810set_synthesis_outputs = _impl.set_synthesis_outputs
2811get_synthesis_outputs = _impl.get_synthesis_outputs
2812get_synthesis_output_aps = _impl.get_synthesis_output_aps
2813set_state_winners = _impl.set_state_winners
2814set_state_winner = _impl.set_state_winner
2815get_state_winner = _impl.get_state_winner
2816get_state_winners = _impl.get_state_winners
2817simulation = _impl.simulation
2818simulation_sba = _impl.simulation_sba
2819cosimulation = _impl.cosimulation
2820cosimulation_sba = _impl.cosimulation_sba
2821iterated_simulations = _impl.iterated_simulations
2822iterated_simulations_sba = _impl.iterated_simulations_sba
2823reduce_direct_sim = _impl.reduce_direct_sim
2824reduce_direct_sim_sba = _impl.reduce_direct_sim_sba
2825reduce_direct_cosim = _impl.reduce_direct_cosim
2826reduce_direct_cosim_sba = _impl.reduce_direct_cosim_sba
2827reduce_iterated = _impl.reduce_iterated
2828reduce_iterated_sba = _impl.reduce_iterated_sba
2829parity_kind_max = _impl.parity_kind_max
2830parity_kind_min = _impl.parity_kind_min
2831parity_kind_same = _impl.parity_kind_same
2832parity_kind_any = _impl.parity_kind_any
2833parity_style_odd = _impl.parity_style_odd
2834parity_style_even = _impl.parity_style_even
2835parity_style_same = _impl.parity_style_same
2836parity_style_any = _impl.parity_style_any
2837change_parity = _impl.change_parity
2838change_parity_here = _impl.change_parity_here
2839cleanup_parity = _impl.cleanup_parity
2840cleanup_parity_here = _impl.cleanup_parity_here
2841colorize_parity = _impl.colorize_parity
2842colorize_parity_here = _impl.colorize_parity_here
2843reduce_parity = _impl.reduce_parity
2844reduce_parity_here = _impl.reduce_parity_here
2845class postprocessor(object):
2846    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2847    __repr__ = _swig_repr
2848
2849    def __init__(self, opt: "option_map"=None):
2850        _impl.postprocessor_swiginit(self, _impl.new_postprocessor(opt))
2851    TGBA = _impl.postprocessor_TGBA
2852    GeneralizedBuchi = _impl.postprocessor_GeneralizedBuchi
2853    BA = _impl.postprocessor_BA
2854    Monitor = _impl.postprocessor_Monitor
2855    Generic = _impl.postprocessor_Generic
2856    Parity = _impl.postprocessor_Parity
2857    ParityMin = _impl.postprocessor_ParityMin
2858    ParityMax = _impl.postprocessor_ParityMax
2859    ParityOdd = _impl.postprocessor_ParityOdd
2860    ParityEven = _impl.postprocessor_ParityEven
2861    ParityMinOdd = _impl.postprocessor_ParityMinOdd
2862    ParityMaxOdd = _impl.postprocessor_ParityMaxOdd
2863    ParityMinEven = _impl.postprocessor_ParityMinEven
2864    ParityMaxEven = _impl.postprocessor_ParityMaxEven
2865    CoBuchi = _impl.postprocessor_CoBuchi
2866    Buchi = _impl.postprocessor_Buchi
2867    set_type = _swig_new_instance_method(_impl.postprocessor_set_type)
2868    Any = _impl.postprocessor_Any
2869    Small = _impl.postprocessor_Small
2870    Deterministic = _impl.postprocessor_Deterministic
2871    Complete = _impl.postprocessor_Complete
2872    SBAcc = _impl.postprocessor_SBAcc
2873    Unambiguous = _impl.postprocessor_Unambiguous
2874    Colored = _impl.postprocessor_Colored
2875    set_pref = _swig_new_instance_method(_impl.postprocessor_set_pref)
2876    Low = _impl.postprocessor_Low
2877    Medium = _impl.postprocessor_Medium
2878    High = _impl.postprocessor_High
2879    set_level = _swig_new_instance_method(_impl.postprocessor_set_level)
2880    run = _swig_new_instance_method(_impl.postprocessor_run)
2881    __swig_destroy__ = _impl.delete_postprocessor
2882
2883# Register postprocessor in _impl:
2884_impl.postprocessor_swigregister(postprocessor)
2885
2886class power_map(object):
2887    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2888    __repr__ = _swig_repr
2889    map_ = property(_impl.power_map_map__get, _impl.power_map_map__set)
2890    states_of = _swig_new_instance_method(_impl.power_map_states_of)
2891
2892    def __init__(self):
2893        _impl.power_map_swiginit(self, _impl.new_power_map())
2894    __swig_destroy__ = _impl.delete_power_map
2895
2896# Register power_map in _impl:
2897_impl.power_map_swigregister(power_map)
2898
2899class output_aborter(object):
2900    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2901    __repr__ = _swig_repr
2902
2903    def __init__(self, *args):
2904        _impl.output_aborter_swiginit(self, _impl.new_output_aborter(*args))
2905    max_states = _swig_new_instance_method(_impl.output_aborter_max_states)
2906    max_edges = _swig_new_instance_method(_impl.output_aborter_max_edges)
2907    too_large = _swig_new_instance_method(_impl.output_aborter_too_large)
2908    print_reason = _swig_new_instance_method(_impl.output_aborter_print_reason)
2909    __swig_destroy__ = _impl.delete_output_aborter
2910
2911# Register output_aborter in _impl:
2912_impl.output_aborter_swigregister(output_aborter)
2913
2914tgba_powerset = _impl.tgba_powerset
2915tba_determinize = _impl.tba_determinize
2916tba_determinize_check = _impl.tba_determinize_check
2917product = _impl.product
2918product_or = _impl.product_or
2919product_xor = _impl.product_xor
2920product_xnor = _impl.product_xnor
2921product_susp = _impl.product_susp
2922product_or_susp = _impl.product_or_susp
2923split_edges = _impl.split_edges
2924sum = _impl.sum
2925sum_and = _impl.sum_and
2926sl = _impl.sl
2927sl2_inplace = _impl.sl2_inplace
2928sl2 = _impl.sl2
2929closure_inplace = _impl.closure_inplace
2930closure = _impl.closure
2931is_stutter_invariant = _impl.is_stutter_invariant
2932check_stutter_invariance = _impl.check_stutter_invariance
2933stutter_invariant_states = _impl.stutter_invariant_states
2934highlight_stutter_invariant_states = _impl.highlight_stutter_invariant_states
2935stutter_invariant_letters = _impl.stutter_invariant_letters
2936is_stutter_invariant_forward_closed = _impl.is_stutter_invariant_forward_closed
2937make_stutter_invariant_forward_closed_inplace = _impl.make_stutter_invariant_forward_closed_inplace
2938split_2step = _impl.split_2step
2939unsplit_2step = _impl.unsplit_2step
2940class synthesis_info(object):
2941    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2942    __repr__ = _swig_repr
2943    algo_DET_SPLIT = _impl.synthesis_info_algo_DET_SPLIT
2944    algo_SPLIT_DET = _impl.synthesis_info_algo_SPLIT_DET
2945    algo_DPA_SPLIT = _impl.synthesis_info_algo_DPA_SPLIT
2946    algo_LAR = _impl.synthesis_info_algo_LAR
2947    algo_LAR_OLD = _impl.synthesis_info_algo_LAR_OLD
2948
2949    def __init__(self):
2950        _impl.synthesis_info_swiginit(self, _impl.new_synthesis_info())
2951    force_sbacc = property(_impl.synthesis_info_force_sbacc_get, _impl.synthesis_info_force_sbacc_set)
2952    s = property(_impl.synthesis_info_s_get, _impl.synthesis_info_s_set)
2953    minimize_lvl = property(_impl.synthesis_info_minimize_lvl_get, _impl.synthesis_info_minimize_lvl_set)
2954    bv = property(_impl.synthesis_info_bv_get, _impl.synthesis_info_bv_set)
2955    verbose_stream = property(_impl.synthesis_info_verbose_stream_get, _impl.synthesis_info_verbose_stream_set)
2956    opt = property(_impl.synthesis_info_opt_get, _impl.synthesis_info_opt_set)
2957    dict = property(_impl.synthesis_info_dict_get, _impl.synthesis_info_dict_set)
2958    __swig_destroy__ = _impl.delete_synthesis_info
2959
2960# Register synthesis_info in _impl:
2961_impl.synthesis_info_swigregister(synthesis_info)
2962
2963__lshift__ = _impl.__lshift__
2964ltl_to_game = _impl.ltl_to_game
2965solved_game_to_separated_mealy = _impl.solved_game_to_separated_mealy
2966class mealy_like(object):
2967    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2968
2969    def __init__(self, *args, **kwargs):
2970        raise AttributeError("No constructor defined")
2971    __repr__ = _swig_repr
2972    realizability_code_UNREALIZABLE = _impl.mealy_like_realizability_code_UNREALIZABLE
2973    realizability_code_UNKNOWN = _impl.mealy_like_realizability_code_UNKNOWN
2974    realizability_code_REALIZABLE_REGULAR = _impl.mealy_like_realizability_code_REALIZABLE_REGULAR
2975    realizability_code_REALIZABLE_DTGBA = _impl.mealy_like_realizability_code_REALIZABLE_DTGBA
2976    success = property(_impl.mealy_like_success_get, _impl.mealy_like_success_set)
2977    mealy_like = property(_impl.mealy_like_mealy_like_get, _impl.mealy_like_mealy_like_set)
2978    glob_cond = property(_impl.mealy_like_glob_cond_get, _impl.mealy_like_glob_cond_set)
2979    __swig_destroy__ = _impl.delete_mealy_like
2980
2981# Register mealy_like in _impl:
2982_impl.mealy_like_swigregister(mealy_like)
2983
2984split_independant_formulas = _impl.split_independant_formulas
2985try_create_direct_strategy = _impl.try_create_direct_strategy
2986solve_game = _impl.solve_game
2987class translator(object):
2988    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
2989    __repr__ = _swig_repr
2990
2991    def __init__(self, *args):
2992        _impl.translator_swiginit(self, _impl.new_translator(*args))
2993    __swig_destroy__ = _impl.delete_translator
2994    set_type = _swig_new_instance_method(_impl.translator_set_type)
2995    set_pref = _swig_new_instance_method(_impl.translator_set_pref)
2996    set_level = _swig_new_instance_method(_impl.translator_set_level)
2997    run = _swig_new_instance_method(_impl.translator_run)
2998    clear_caches = _swig_new_instance_method(_impl.translator_clear_caches)
2999
3000# Register translator in _impl:
3001_impl.translator_swigregister(translator)
3002
3003to_weak_alternating = _impl.to_weak_alternating
3004print_hoa = _impl.print_hoa
3005dtwa_sat_synthetize = _impl.dtwa_sat_synthetize
3006dtwa_sat_minimize = _impl.dtwa_sat_minimize
3007dtwa_sat_minimize_dichotomy = _impl.dtwa_sat_minimize_dichotomy
3008dtwa_sat_minimize_incr = _impl.dtwa_sat_minimize_incr
3009dtwa_sat_minimize_assume = _impl.dtwa_sat_minimize_assume
3010sat_minimize = _impl.sat_minimize
3011relabel_here = _impl.relabel_here
3012class twa_word(object):
3013    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3014    __repr__ = _swig_repr
3015
3016    def __init__(self, *args):
3017        _impl.twa_word_swiginit(self, _impl.new_twa_word(*args))
3018    __swig_destroy__ = _impl.delete_twa_word
3019    simplify = _swig_new_instance_method(_impl.twa_word_simplify)
3020    use_all_aps = _swig_new_instance_method(_impl.twa_word_use_all_aps)
3021    prefix = property(_impl.twa_word_prefix_get, _impl.twa_word_prefix_set)
3022    cycle = property(_impl.twa_word_cycle_get, _impl.twa_word_cycle_set)
3023    get_dict = _swig_new_instance_method(_impl.twa_word_get_dict)
3024    as_automaton = _swig_new_instance_method(_impl.twa_word_as_automaton)
3025    __str__ = _swig_new_instance_method(_impl.twa_word___str__)
3026
3027# Register twa_word in _impl:
3028_impl.twa_word_swigregister(twa_word)
3029
3030make_twa_word = _impl.make_twa_word
3031parse_word = _impl.parse_word
3032class list_bdd(object):
3033    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3034    __repr__ = _swig_repr
3035    iterator = _swig_new_instance_method(_impl.list_bdd_iterator)
3036    def __iter__(self):
3037        return self.iterator()
3038    __nonzero__ = _swig_new_instance_method(_impl.list_bdd___nonzero__)
3039    __bool__ = _swig_new_instance_method(_impl.list_bdd___bool__)
3040    __len__ = _swig_new_instance_method(_impl.list_bdd___len__)
3041    __getslice__ = _swig_new_instance_method(_impl.list_bdd___getslice__)
3042    __setslice__ = _swig_new_instance_method(_impl.list_bdd___setslice__)
3043    __delslice__ = _swig_new_instance_method(_impl.list_bdd___delslice__)
3044    __delitem__ = _swig_new_instance_method(_impl.list_bdd___delitem__)
3045    __getitem__ = _swig_new_instance_method(_impl.list_bdd___getitem__)
3046    __setitem__ = _swig_new_instance_method(_impl.list_bdd___setitem__)
3047    pop = _swig_new_instance_method(_impl.list_bdd_pop)
3048    append = _swig_new_instance_method(_impl.list_bdd_append)
3049    empty = _swig_new_instance_method(_impl.list_bdd_empty)
3050    size = _swig_new_instance_method(_impl.list_bdd_size)
3051    swap = _swig_new_instance_method(_impl.list_bdd_swap)
3052    begin = _swig_new_instance_method(_impl.list_bdd_begin)
3053    end = _swig_new_instance_method(_impl.list_bdd_end)
3054    rbegin = _swig_new_instance_method(_impl.list_bdd_rbegin)
3055    rend = _swig_new_instance_method(_impl.list_bdd_rend)
3056    clear = _swig_new_instance_method(_impl.list_bdd_clear)
3057    get_allocator = _swig_new_instance_method(_impl.list_bdd_get_allocator)
3058    pop_back = _swig_new_instance_method(_impl.list_bdd_pop_back)
3059    erase = _swig_new_instance_method(_impl.list_bdd_erase)
3060
3061    def __init__(self, *args):
3062        _impl.list_bdd_swiginit(self, _impl.new_list_bdd(*args))
3063    push_back = _swig_new_instance_method(_impl.list_bdd_push_back)
3064    front = _swig_new_instance_method(_impl.list_bdd_front)
3065    back = _swig_new_instance_method(_impl.list_bdd_back)
3066    assign = _swig_new_instance_method(_impl.list_bdd_assign)
3067    resize = _swig_new_instance_method(_impl.list_bdd_resize)
3068    insert = _swig_new_instance_method(_impl.list_bdd_insert)
3069    pop_front = _swig_new_instance_method(_impl.list_bdd_pop_front)
3070    push_front = _swig_new_instance_method(_impl.list_bdd_push_front)
3071    reverse = _swig_new_instance_method(_impl.list_bdd_reverse)
3072    __swig_destroy__ = _impl.delete_list_bdd
3073
3074# Register list_bdd in _impl:
3075_impl.list_bdd_swigregister(list_bdd)
3076
3077class isomorphism_checker(object):
3078    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3079    __repr__ = _swig_repr
3080
3081    def __init__(self, ref: "spot::const_twa_graph_ptr const"):
3082        _impl.isomorphism_checker_swiginit(self, _impl.new_isomorphism_checker(ref))
3083    is_isomorphic = _swig_new_instance_method(_impl.isomorphism_checker_is_isomorphic)
3084    are_isomorphic = _swig_new_static_method(_impl.isomorphism_checker_are_isomorphic)
3085    __swig_destroy__ = _impl.delete_isomorphism_checker
3086
3087# Register isomorphism_checker in _impl:
3088_impl.isomorphism_checker_swigregister(isomorphism_checker)
3089isomorphism_checker_are_isomorphic = _impl.isomorphism_checker_are_isomorphic
3090
3091class to_parity_options(object):
3092    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3093    __repr__ = _swig_repr
3094    search_ex = property(_impl.to_parity_options_search_ex_get, _impl.to_parity_options_search_ex_set)
3095    use_last = property(_impl.to_parity_options_use_last_get, _impl.to_parity_options_use_last_set)
3096    force_order = property(_impl.to_parity_options_force_order_get, _impl.to_parity_options_force_order_set)
3097    partial_degen = property(_impl.to_parity_options_partial_degen_get, _impl.to_parity_options_partial_degen_set)
3098    force_degen = property(_impl.to_parity_options_force_degen_get, _impl.to_parity_options_force_degen_set)
3099    acc_clean = property(_impl.to_parity_options_acc_clean_get, _impl.to_parity_options_acc_clean_set)
3100    parity_equiv = property(_impl.to_parity_options_parity_equiv_get, _impl.to_parity_options_parity_equiv_set)
3101    parity_prefix = property(_impl.to_parity_options_parity_prefix_get, _impl.to_parity_options_parity_prefix_set)
3102    rabin_to_buchi = property(_impl.to_parity_options_rabin_to_buchi_get, _impl.to_parity_options_rabin_to_buchi_set)
3103    reduce_col_deg = property(_impl.to_parity_options_reduce_col_deg_get, _impl.to_parity_options_reduce_col_deg_set)
3104    propagate_col = property(_impl.to_parity_options_propagate_col_get, _impl.to_parity_options_propagate_col_set)
3105    pretty_print = property(_impl.to_parity_options_pretty_print_get, _impl.to_parity_options_pretty_print_set)
3106
3107    def __init__(self):
3108        _impl.to_parity_options_swiginit(self, _impl.new_to_parity_options())
3109    __swig_destroy__ = _impl.delete_to_parity_options
3110
3111# Register to_parity_options in _impl:
3112_impl.to_parity_options_swigregister(to_parity_options)
3113
3114to_parity = _impl.to_parity
3115to_parity_old = _impl.to_parity_old
3116iar = _impl.iar
3117iar_maybe = _impl.iar_maybe
3118class zielonka_tree(object):
3119    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3120    __repr__ = _swig_repr
3121
3122    def __init__(self, cond: "acc_cond"):
3123        _impl.zielonka_tree_swiginit(self, _impl.new_zielonka_tree(cond))
3124    num_branches = _swig_new_instance_method(_impl.zielonka_tree_num_branches)
3125    first_branch = _swig_new_instance_method(_impl.zielonka_tree_first_branch)
3126    step = _swig_new_instance_method(_impl.zielonka_tree_step)
3127    is_even = _swig_new_instance_method(_impl.zielonka_tree_is_even)
3128    has_rabin_shape = _swig_new_instance_method(_impl.zielonka_tree_has_rabin_shape)
3129    has_streett_shape = _swig_new_instance_method(_impl.zielonka_tree_has_streett_shape)
3130    has_parity_shape = _swig_new_instance_method(_impl.zielonka_tree_has_parity_shape)
3131    dot = _swig_new_instance_method(_impl.zielonka_tree_dot)
3132    __swig_destroy__ = _impl.delete_zielonka_tree
3133
3134# Register zielonka_tree in _impl:
3135_impl.zielonka_tree_swigregister(zielonka_tree)
3136
3137zielonka_tree_transform = _impl.zielonka_tree_transform
3138acd_options_NONE = _impl.acd_options_NONE
3139acd_options_CHECK_RABIN = _impl.acd_options_CHECK_RABIN
3140acd_options_CHECK_STREETT = _impl.acd_options_CHECK_STREETT
3141acd_options_CHECK_PARITY = _impl.acd_options_CHECK_PARITY
3142acd_options_ABORT_WRONG_SHAPE = _impl.acd_options_ABORT_WRONG_SHAPE
3143acd_options_ORDER_HEURISTIC = _impl.acd_options_ORDER_HEURISTIC
3144class acd(object):
3145    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3146    __repr__ = _swig_repr
3147
3148    def __init__(self, *args):
3149        _impl.acd_swiginit(self, _impl.new_acd(*args))
3150    __swig_destroy__ = _impl.delete_acd
3151    step = _swig_new_instance_method(_impl.acd_step)
3152    state_step = _swig_new_instance_method(_impl.acd_state_step)
3153    edges_of_node = _swig_new_instance_method(_impl.acd_edges_of_node)
3154    node_count = _swig_new_instance_method(_impl.acd_node_count)
3155    node_acceptance = _swig_new_instance_method(_impl.acd_node_acceptance)
3156    node_level = _swig_new_instance_method(_impl.acd_node_level)
3157    node_colors = _swig_new_instance_method(_impl.acd_node_colors)
3158    is_even = _swig_new_instance_method(_impl.acd_is_even)
3159    first_branch = _swig_new_instance_method(_impl.acd_first_branch)
3160    scc_max_level = _swig_new_instance_method(_impl.acd_scc_max_level)
3161    has_rabin_shape = _swig_new_instance_method(_impl.acd_has_rabin_shape)
3162    has_streett_shape = _swig_new_instance_method(_impl.acd_has_streett_shape)
3163    has_parity_shape = _swig_new_instance_method(_impl.acd_has_parity_shape)
3164    get_aut = _swig_new_instance_method(_impl.acd_get_aut)
3165    dot = _swig_new_instance_method(_impl.acd_dot)
3166
3167# Register acd in _impl:
3168_impl.acd_swigregister(acd)
3169
3170acd_transform = _impl.acd_transform
3171acd_transform_sbacc = _impl.acd_transform_sbacc
3172dtwa_complement = _impl.dtwa_complement
3173complement_semidet = _impl.complement_semidet
3174complement = _impl.complement
3175class fair_kripke_succ_iterator(twa_succ_iterator):
3176    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3177
3178    def __init__(self, *args, **kwargs):
3179        raise AttributeError("No constructor defined - class is abstract")
3180    __repr__ = _swig_repr
3181    __swig_destroy__ = _impl.delete_fair_kripke_succ_iterator
3182
3183# Register fair_kripke_succ_iterator in _impl:
3184_impl.fair_kripke_succ_iterator_swigregister(fair_kripke_succ_iterator)
3185
3186class fair_kripke(twa):
3187    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3188
3189    def __init__(self, *args, **kwargs):
3190        raise AttributeError("No constructor defined - class is abstract")
3191    __repr__ = _swig_repr
3192    state_condition = _swig_new_instance_method(_impl.fair_kripke_state_condition)
3193    state_acceptance_mark = _swig_new_instance_method(_impl.fair_kripke_state_acceptance_mark)
3194    __swig_destroy__ = _impl.delete_fair_kripke
3195
3196# Register fair_kripke in _impl:
3197_impl.fair_kripke_swigregister(fair_kripke)
3198
3199class kripke_succ_iterator(twa_succ_iterator):
3200    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3201
3202    def __init__(self, *args, **kwargs):
3203        raise AttributeError("No constructor defined - class is abstract")
3204    __repr__ = _swig_repr
3205    recycle = _swig_new_instance_method(_impl.kripke_succ_iterator_recycle)
3206    __swig_destroy__ = _impl.delete_kripke_succ_iterator
3207
3208# Register kripke_succ_iterator in _impl:
3209_impl.kripke_succ_iterator_swigregister(kripke_succ_iterator)
3210
3211class kripke(fair_kripke):
3212    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3213
3214    def __init__(self, *args, **kwargs):
3215        raise AttributeError("No constructor defined - class is abstract")
3216    __repr__ = _swig_repr
3217    __swig_destroy__ = _impl.delete_kripke
3218
3219# Register kripke in _impl:
3220_impl.kripke_swigregister(kripke)
3221
3222class kripke_graph_state(state):
3223    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3224    __repr__ = _swig_repr
3225
3226    def __init__(self, *args):
3227        _impl.kripke_graph_state_swiginit(self, _impl.new_kripke_graph_state(*args))
3228    __swig_destroy__ = _impl.delete_kripke_graph_state
3229    clone = _swig_new_instance_method(_impl.kripke_graph_state_clone)
3230    cond = _swig_new_instance_method(_impl.kripke_graph_state_cond)
3231
3232# Register kripke_graph_state in _impl:
3233_impl.kripke_graph_state_swigregister(kripke_graph_state)
3234
3235class kripke_graph(kripke):
3236    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3237    __repr__ = _swig_repr
3238
3239    def __init__(self, d: "spot::bdd_dict_ptr const &"):
3240        _impl.kripke_graph_swiginit(self, _impl.new_kripke_graph(d))
3241    __swig_destroy__ = _impl.delete_kripke_graph
3242    num_states = _swig_new_instance_method(_impl.kripke_graph_num_states)
3243    num_edges = _swig_new_instance_method(_impl.kripke_graph_num_edges)
3244    set_init_state = _swig_new_instance_method(_impl.kripke_graph_set_init_state)
3245    get_init_state_number = _swig_new_instance_method(_impl.kripke_graph_get_init_state_number)
3246    get_init_state = _swig_new_instance_method(_impl.kripke_graph_get_init_state)
3247    succ_iter = _swig_new_instance_method(_impl.kripke_graph_succ_iter)
3248    state_number = _swig_new_instance_method(_impl.kripke_graph_state_number)
3249    state_from_number = _swig_new_instance_method(_impl.kripke_graph_state_from_number)
3250    format_state = _swig_new_instance_method(_impl.kripke_graph_format_state)
3251    edge_storage = _swig_new_instance_method(_impl.kripke_graph_edge_storage)
3252    new_state = _swig_new_instance_method(_impl.kripke_graph_new_state)
3253    new_states = _swig_new_instance_method(_impl.kripke_graph_new_states)
3254    new_edge = _swig_new_instance_method(_impl.kripke_graph_new_edge)
3255    states = _swig_new_instance_method(_impl.kripke_graph_states)
3256    edges = _swig_new_instance_method(_impl.kripke_graph_edges)
3257    out = _swig_new_instance_method(_impl.kripke_graph_out)
3258
3259# Register kripke_graph in _impl:
3260_impl.kripke_graph_swigregister(kripke_graph)
3261
3262make_kripke_graph = _impl.make_kripke_graph
3263class kripke_graph_state_out(object):
3264    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3265    __repr__ = _swig_repr
3266
3267    def __init__(self, g: "spot::digraph< spot::kripke_graph_state,void > *", t: "spot::internal::state_out< spot::digraph< spot::kripke_graph_state,void > >::edge"):
3268        _impl.kripke_graph_state_out_swiginit(self, _impl.new_kripke_graph_state_out(g, t))
3269    begin = _swig_new_instance_method(_impl.kripke_graph_state_out_begin)
3270    end = _swig_new_instance_method(_impl.kripke_graph_state_out_end)
3271    recycle = _swig_new_instance_method(_impl.kripke_graph_state_out_recycle)
3272    __iter__ = _swig_new_instance_method(_impl.kripke_graph_state_out___iter__)
3273    __swig_destroy__ = _impl.delete_kripke_graph_state_out
3274
3275# Register kripke_graph_state_out in _impl:
3276_impl.kripke_graph_state_out_swigregister(kripke_graph_state_out)
3277
3278class kripke_graph_all_trans(object):
3279    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3280    __repr__ = _swig_repr
3281
3282    def __init__(self, tv: "spot::internal::all_trans< spot::digraph< spot::kripke_graph_state,void > >::tv_t &"):
3283        _impl.kripke_graph_all_trans_swiginit(self, _impl.new_kripke_graph_all_trans(tv))
3284    begin = _swig_new_instance_method(_impl.kripke_graph_all_trans_begin)
3285    end = _swig_new_instance_method(_impl.kripke_graph_all_trans_end)
3286    __iter__ = _swig_new_instance_method(_impl.kripke_graph_all_trans___iter__)
3287    __swig_destroy__ = _impl.delete_kripke_graph_all_trans
3288
3289# Register kripke_graph_all_trans in _impl:
3290_impl.kripke_graph_all_trans_swigregister(kripke_graph_all_trans)
3291
3292class kripke_graph_edge_boxed_data(object):
3293    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3294    __repr__ = _swig_repr
3295    data = _swig_new_instance_method(_impl.kripke_graph_edge_boxed_data_data)
3296
3297    def __init__(self):
3298        _impl.kripke_graph_edge_boxed_data_swiginit(self, _impl.new_kripke_graph_edge_boxed_data())
3299    __swig_destroy__ = _impl.delete_kripke_graph_edge_boxed_data
3300
3301# Register kripke_graph_edge_boxed_data in _impl:
3302_impl.kripke_graph_edge_boxed_data_swigregister(kripke_graph_edge_boxed_data)
3303
3304class kripke_graph_edge_storage(kripke_graph_edge_boxed_data):
3305    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3306    __repr__ = _swig_repr
3307    dst = property(_impl.kripke_graph_edge_storage_dst_get, _impl.kripke_graph_edge_storage_dst_set)
3308    next_succ = property(_impl.kripke_graph_edge_storage_next_succ_get, _impl.kripke_graph_edge_storage_next_succ_set)
3309    src = property(_impl.kripke_graph_edge_storage_src_get, _impl.kripke_graph_edge_storage_src_set)
3310
3311    def __init__(self):
3312        _impl.kripke_graph_edge_storage_swiginit(self, _impl.new_kripke_graph_edge_storage())
3313    __lt__ = _swig_new_instance_method(_impl.kripke_graph_edge_storage___lt__)
3314    __eq__ = _swig_new_instance_method(_impl.kripke_graph_edge_storage___eq__)
3315    __swig_destroy__ = _impl.delete_kripke_graph_edge_storage
3316
3317# Register kripke_graph_edge_storage in _impl:
3318_impl.kripke_graph_edge_storage_swigregister(kripke_graph_edge_storage)
3319
3320class kripke_graph_state_boxed_data(kripke_graph_state):
3321    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3322    __repr__ = _swig_repr
3323
3324    def __init__(self):
3325        _impl.kripke_graph_state_boxed_data_swiginit(self, _impl.new_kripke_graph_state_boxed_data())
3326    data = _swig_new_instance_method(_impl.kripke_graph_state_boxed_data_data)
3327    __swig_destroy__ = _impl.delete_kripke_graph_state_boxed_data
3328
3329# Register kripke_graph_state_boxed_data in _impl:
3330_impl.kripke_graph_state_boxed_data_swigregister(kripke_graph_state_boxed_data)
3331
3332class kripke_graph_state_storage(kripke_graph_state_boxed_data):
3333    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3334    __repr__ = _swig_repr
3335    succ = property(_impl.kripke_graph_state_storage_succ_get, _impl.kripke_graph_state_storage_succ_set)
3336    succ_tail = property(_impl.kripke_graph_state_storage_succ_tail_get, _impl.kripke_graph_state_storage_succ_tail_set)
3337
3338    def __init__(self):
3339        _impl.kripke_graph_state_storage_swiginit(self, _impl.new_kripke_graph_state_storage())
3340    __swig_destroy__ = _impl.delete_kripke_graph_state_storage
3341
3342# Register kripke_graph_state_storage in _impl:
3343_impl.kripke_graph_state_storage_swigregister(kripke_graph_state_storage)
3344
3345class kripke_graph_state_vector(object):
3346    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3347    __repr__ = _swig_repr
3348    iterator = _swig_new_instance_method(_impl.kripke_graph_state_vector_iterator)
3349    def __iter__(self):
3350        return self.iterator()
3351    __nonzero__ = _swig_new_instance_method(_impl.kripke_graph_state_vector___nonzero__)
3352    __bool__ = _swig_new_instance_method(_impl.kripke_graph_state_vector___bool__)
3353    __len__ = _swig_new_instance_method(_impl.kripke_graph_state_vector___len__)
3354    __getslice__ = _swig_new_instance_method(_impl.kripke_graph_state_vector___getslice__)
3355    __setslice__ = _swig_new_instance_method(_impl.kripke_graph_state_vector___setslice__)
3356    __delslice__ = _swig_new_instance_method(_impl.kripke_graph_state_vector___delslice__)
3357    __delitem__ = _swig_new_instance_method(_impl.kripke_graph_state_vector___delitem__)
3358    __getitem__ = _swig_new_instance_method(_impl.kripke_graph_state_vector___getitem__)
3359    __setitem__ = _swig_new_instance_method(_impl.kripke_graph_state_vector___setitem__)
3360    pop = _swig_new_instance_method(_impl.kripke_graph_state_vector_pop)
3361    append = _swig_new_instance_method(_impl.kripke_graph_state_vector_append)
3362    empty = _swig_new_instance_method(_impl.kripke_graph_state_vector_empty)
3363    size = _swig_new_instance_method(_impl.kripke_graph_state_vector_size)
3364    swap = _swig_new_instance_method(_impl.kripke_graph_state_vector_swap)
3365    begin = _swig_new_instance_method(_impl.kripke_graph_state_vector_begin)
3366    end = _swig_new_instance_method(_impl.kripke_graph_state_vector_end)
3367    rbegin = _swig_new_instance_method(_impl.kripke_graph_state_vector_rbegin)
3368    rend = _swig_new_instance_method(_impl.kripke_graph_state_vector_rend)
3369    clear = _swig_new_instance_method(_impl.kripke_graph_state_vector_clear)
3370    get_allocator = _swig_new_instance_method(_impl.kripke_graph_state_vector_get_allocator)
3371    pop_back = _swig_new_instance_method(_impl.kripke_graph_state_vector_pop_back)
3372    erase = _swig_new_instance_method(_impl.kripke_graph_state_vector_erase)
3373
3374    def __init__(self, *args):
3375        _impl.kripke_graph_state_vector_swiginit(self, _impl.new_kripke_graph_state_vector(*args))
3376    push_back = _swig_new_instance_method(_impl.kripke_graph_state_vector_push_back)
3377    front = _swig_new_instance_method(_impl.kripke_graph_state_vector_front)
3378    back = _swig_new_instance_method(_impl.kripke_graph_state_vector_back)
3379    assign = _swig_new_instance_method(_impl.kripke_graph_state_vector_assign)
3380    resize = _swig_new_instance_method(_impl.kripke_graph_state_vector_resize)
3381    insert = _swig_new_instance_method(_impl.kripke_graph_state_vector_insert)
3382    reserve = _swig_new_instance_method(_impl.kripke_graph_state_vector_reserve)
3383    capacity = _swig_new_instance_method(_impl.kripke_graph_state_vector_capacity)
3384    __swig_destroy__ = _impl.delete_kripke_graph_state_vector
3385
3386# Register kripke_graph_state_vector in _impl:
3387_impl.kripke_graph_state_vector_swigregister(kripke_graph_state_vector)
3388
3389class parse_aut_error_list(object):
3390    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3391    __repr__ = _swig_repr
3392    __nonzero__ = _swig_new_instance_method(_impl.parse_aut_error_list___nonzero__)
3393    __bool__ = _swig_new_instance_method(_impl.parse_aut_error_list___bool__)
3394
3395    def __init__(self):
3396        _impl.parse_aut_error_list_swiginit(self, _impl.new_parse_aut_error_list())
3397    __swig_destroy__ = _impl.delete_parse_aut_error_list
3398
3399# Register parse_aut_error_list in _impl:
3400_impl.parse_aut_error_list_swigregister(parse_aut_error_list)
3401
3402parsed_aut_type_HOA = _impl.parsed_aut_type_HOA
3403parsed_aut_type_NeverClaim = _impl.parsed_aut_type_NeverClaim
3404parsed_aut_type_LBTT = _impl.parsed_aut_type_LBTT
3405parsed_aut_type_DRA = _impl.parsed_aut_type_DRA
3406parsed_aut_type_DSA = _impl.parsed_aut_type_DSA
3407parsed_aut_type_Unknown = _impl.parsed_aut_type_Unknown
3408class parsed_aut(object):
3409    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3410    __repr__ = _swig_repr
3411    aut = property(_impl.parsed_aut_aut_get, _impl.parsed_aut_aut_set)
3412    ks = property(_impl.parsed_aut_ks_get, _impl.parsed_aut_ks_set)
3413    aborted = property(_impl.parsed_aut_aborted_get, _impl.parsed_aut_aborted_set)
3414    loc = property(_impl.parsed_aut_loc_get, _impl.parsed_aut_loc_set)
3415    type = property(_impl.parsed_aut_type_get, _impl.parsed_aut_type_set)
3416    filename = property(_impl.parsed_aut_filename_get, _impl.parsed_aut_filename_set)
3417    errors = property(_impl.parsed_aut_errors_get, _impl.parsed_aut_errors_set)
3418
3419    def __init__(self, str: "std::string const &"):
3420        _impl.parsed_aut_swiginit(self, _impl.new_parsed_aut(str))
3421    format_errors = _swig_new_instance_method(_impl.parsed_aut_format_errors)
3422    __swig_destroy__ = _impl.delete_parsed_aut
3423
3424# Register parsed_aut in _impl:
3425_impl.parsed_aut_swigregister(parsed_aut)
3426
3427class automaton_parser_options(object):
3428    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3429    __repr__ = _swig_repr
3430    ignore_abort = property(_impl.automaton_parser_options_ignore_abort_get, _impl.automaton_parser_options_ignore_abort_set)
3431    debug = property(_impl.automaton_parser_options_debug_get, _impl.automaton_parser_options_debug_set)
3432    trust_hoa = property(_impl.automaton_parser_options_trust_hoa_get, _impl.automaton_parser_options_trust_hoa_set)
3433    raise_errors = property(_impl.automaton_parser_options_raise_errors_get, _impl.automaton_parser_options_raise_errors_set)
3434    want_kripke = property(_impl.automaton_parser_options_want_kripke_get, _impl.automaton_parser_options_want_kripke_set)
3435
3436    def __init__(self):
3437        _impl.automaton_parser_options_swiginit(self, _impl.new_automaton_parser_options())
3438    __swig_destroy__ = _impl.delete_automaton_parser_options
3439
3440# Register automaton_parser_options in _impl:
3441_impl.automaton_parser_options_swigregister(automaton_parser_options)
3442
3443class automaton_stream_parser(object):
3444    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3445    __repr__ = _swig_repr
3446
3447    def __init__(self, *args):
3448        _impl.automaton_stream_parser_swiginit(self, _impl.new_automaton_stream_parser(*args))
3449    __swig_destroy__ = _impl.delete_automaton_stream_parser
3450    parse = _swig_new_instance_method(_impl.automaton_stream_parser_parse)
3451
3452# Register automaton_stream_parser in _impl:
3453_impl.automaton_stream_parser_swigregister(automaton_stream_parser)
3454
3455parse_aut = _impl.parse_aut
3456class ta(object):
3457    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3458
3459    def __init__(self, *args, **kwargs):
3460        raise AttributeError("No constructor defined - class is abstract")
3461    __repr__ = _swig_repr
3462    __swig_destroy__ = _impl.delete_ta
3463    get_initial_states_set = _swig_new_instance_method(_impl.ta_get_initial_states_set)
3464    get_artificial_initial_state = _swig_new_instance_method(_impl.ta_get_artificial_initial_state)
3465    succ_iter = _swig_new_instance_method(_impl.ta_succ_iter)
3466    get_dict = _swig_new_instance_method(_impl.ta_get_dict)
3467    format_state = _swig_new_instance_method(_impl.ta_format_state)
3468    is_accepting_state = _swig_new_instance_method(_impl.ta_is_accepting_state)
3469    is_livelock_accepting_state = _swig_new_instance_method(_impl.ta_is_livelock_accepting_state)
3470    is_initial_state = _swig_new_instance_method(_impl.ta_is_initial_state)
3471    get_state_condition = _swig_new_instance_method(_impl.ta_get_state_condition)
3472    free_state = _swig_new_instance_method(_impl.ta_free_state)
3473    acc = _swig_new_instance_method(_impl.ta_acc)
3474
3475# Register ta in _impl:
3476_impl.ta_swigregister(ta)
3477
3478class ta_succ_iterator(twa_succ_iterator):
3479    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3480
3481    def __init__(self, *args, **kwargs):
3482        raise AttributeError("No constructor defined - class is abstract")
3483    __repr__ = _swig_repr
3484    __swig_destroy__ = _impl.delete_ta_succ_iterator
3485
3486# Register ta_succ_iterator in _impl:
3487_impl.ta_succ_iterator_swigregister(ta_succ_iterator)
3488
3489class tgta(twa):
3490    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3491
3492    def __init__(self, *args, **kwargs):
3493        raise AttributeError("No constructor defined - class is abstract")
3494    __repr__ = _swig_repr
3495    __swig_destroy__ = _impl.delete_tgta
3496    succ_iter_by_changeset = _swig_new_instance_method(_impl.tgta_succ_iter_by_changeset)
3497
3498# Register tgta in _impl:
3499_impl.tgta_swigregister(tgta)
3500
3501class ta_explicit(ta):
3502    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3503    __repr__ = _swig_repr
3504
3505    def __init__(self, tgba: "spot::const_twa_ptr const &", n_acc: "unsigned int", artificial_initial_state: "state_ta_explicit"=None):
3506        _impl.ta_explicit_swiginit(self, _impl.new_ta_explicit(tgba, n_acc, artificial_initial_state))
3507    get_tgba = _swig_new_instance_method(_impl.ta_explicit_get_tgba)
3508    add_state = _swig_new_instance_method(_impl.ta_explicit_add_state)
3509    add_to_initial_states_set = _swig_new_instance_method(_impl.ta_explicit_add_to_initial_states_set)
3510    create_transition = _swig_new_instance_method(_impl.ta_explicit_create_transition)
3511    delete_stuttering_transitions = _swig_new_instance_method(_impl.ta_explicit_delete_stuttering_transitions)
3512    __swig_destroy__ = _impl.delete_ta_explicit
3513    succ_iter = _swig_new_instance_method(_impl.ta_explicit_succ_iter)
3514    get_dict = _swig_new_instance_method(_impl.ta_explicit_get_dict)
3515    get_artificial_initial_state = _swig_new_instance_method(_impl.ta_explicit_get_artificial_initial_state)
3516    set_artificial_initial_state = _swig_new_instance_method(_impl.ta_explicit_set_artificial_initial_state)
3517    delete_stuttering_and_hole_successors = _swig_new_instance_method(_impl.ta_explicit_delete_stuttering_and_hole_successors)
3518    get_states_set = _swig_new_instance_method(_impl.ta_explicit_get_states_set)
3519
3520# Register ta_explicit in _impl:
3521_impl.ta_explicit_swigregister(ta_explicit)
3522
3523class state_ta_explicit(state):
3524    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3525
3526    def __init__(self, *args, **kwargs):
3527        raise AttributeError("No constructor defined - class is abstract")
3528    __repr__ = _swig_repr
3529    __swig_destroy__ = _impl.delete_state_ta_explicit
3530
3531# Register state_ta_explicit in _impl:
3532_impl.state_ta_explicit_swigregister(state_ta_explicit)
3533
3534class ta_explicit_succ_iterator(ta_succ_iterator):
3535    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3536    __repr__ = _swig_repr
3537
3538    def __init__(self, *args):
3539        _impl.ta_explicit_succ_iterator_swiginit(self, _impl.new_ta_explicit_succ_iterator(*args))
3540    __swig_destroy__ = _impl.delete_ta_explicit_succ_iterator
3541
3542# Register ta_explicit_succ_iterator in _impl:
3543_impl.ta_explicit_succ_iterator_swigregister(ta_explicit_succ_iterator)
3544
3545make_ta_explicit = _impl.make_ta_explicit
3546class tgta_explicit(tgta):
3547    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3548    __repr__ = _swig_repr
3549
3550    def __init__(self, tgba: "spot::const_twa_ptr const &", n_acc: "unsigned int", artificial_initial_state: "state_ta_explicit"):
3551        _impl.tgta_explicit_swiginit(self, _impl.new_tgta_explicit(tgba, n_acc, artificial_initial_state))
3552    get_init_state = _swig_new_instance_method(_impl.tgta_explicit_get_init_state)
3553    get_ta = _swig_new_instance_method(_impl.tgta_explicit_get_ta)
3554    __swig_destroy__ = _impl.delete_tgta_explicit
3555
3556# Register tgta_explicit in _impl:
3557_impl.tgta_explicit_swigregister(tgta_explicit)
3558
3559make_tgta_explicit = _impl.make_tgta_explicit
3560tgba_to_ta = _impl.tgba_to_ta
3561tgba_to_tgta = _impl.tgba_to_tgta
3562print_dot = _impl.print_dot
3563class ta_statistics(object):
3564    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3565    __repr__ = _swig_repr
3566    edges = property(_impl.ta_statistics_edges_get, _impl.ta_statistics_edges_set)
3567    states = property(_impl.ta_statistics_states_get, _impl.ta_statistics_states_set)
3568    acceptance_states = property(_impl.ta_statistics_acceptance_states_get, _impl.ta_statistics_acceptance_states_set)
3569    dump = _swig_new_instance_method(_impl.ta_statistics_dump)
3570
3571    def __init__(self):
3572        _impl.ta_statistics_swiginit(self, _impl.new_ta_statistics())
3573    __swig_destroy__ = _impl.delete_ta_statistics
3574
3575# Register ta_statistics in _impl:
3576_impl.ta_statistics_swigregister(ta_statistics)
3577
3578stats_reachable = _impl.stats_reachable
3579minimize_ta = _impl.minimize_ta
3580minimize_tgta = _impl.minimize_tgta
3581class ostream(object):
3582    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3583
3584    def __init__(self, *args, **kwargs):
3585        raise AttributeError("No constructor defined")
3586    __repr__ = _swig_repr
3587    __swig_destroy__ = _impl.delete_ostream
3588
3589# Register ostream in _impl:
3590_impl.ostream_swigregister(ostream)
3591
3592class ofstream(ostream):
3593    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3594    __repr__ = _swig_repr
3595
3596    def __init__(self, fn: "char const *"):
3597        _impl.ofstream_swiginit(self, _impl.new_ofstream(fn))
3598    __swig_destroy__ = _impl.delete_ofstream
3599
3600# Register ofstream in _impl:
3601_impl.ofstream_swigregister(ofstream)
3602
3603class ostringstream(ostream):
3604    thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag")
3605    __repr__ = _swig_repr
3606
3607    def __init__(self):
3608        _impl.ostringstream_swiginit(self, _impl.new_ostringstream())
3609    str = _swig_new_instance_method(_impl.ostringstream_str)
3610    __swig_destroy__ = _impl.delete_ostringstream
3611
3612# Register ostringstream in _impl:
3613_impl.ostringstream_swigregister(ostringstream)
3614
3615fnode_instances_check = _impl.fnode_instances_check
3616ensure_digraph = _impl.ensure_digraph
3617get_cout = _impl.get_cout
3618nl_cout = _impl.nl_cout
3619get_cerr = _impl.get_cerr
3620nl_cerr = _impl.nl_cerr
3621print_on = _impl.print_on
3622unblock_signal = _impl.unblock_signal
3623states_and = _impl.states_and
3624
3625
3626