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