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 _buddy 14else: 15 import _buddy 16 17try: 18 import builtins as __builtin__ 19except ImportError: 20 import __builtin__ 21 22_swig_new_instance_method = _buddy.SWIG_PyInstanceMethod_New 23_swig_new_static_method = _buddy.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 67class const_int_ptr(object): 68 thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag") 69 __repr__ = _swig_repr 70 71 def __init__(self, ptr: "int const *"): 72 _buddy.const_int_ptr_swiginit(self, _buddy.new_const_int_ptr(ptr)) 73 ptr = property(_buddy.const_int_ptr_ptr_get, _buddy.const_int_ptr_ptr_set) 74 __getitem__ = _swig_new_instance_method(_buddy.const_int_ptr___getitem__) 75 __swig_destroy__ = _buddy.delete_const_int_ptr 76 77# Register const_int_ptr in _buddy: 78_buddy.const_int_ptr_swigregister(const_int_ptr) 79 80class bdd(object): 81 thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag") 82 __repr__ = _swig_repr 83 id = _swig_new_instance_method(_buddy.bdd_id) 84 __cmp__ = _swig_new_instance_method(_buddy.bdd___cmp__) 85 __le__ = _swig_new_instance_method(_buddy.bdd___le__) 86 __lt__ = _swig_new_instance_method(_buddy.bdd___lt__) 87 __eq__ = _swig_new_instance_method(_buddy.bdd___eq__) 88 __ne__ = _swig_new_instance_method(_buddy.bdd___ne__) 89 __ge__ = _swig_new_instance_method(_buddy.bdd___ge__) 90 __gt__ = _swig_new_instance_method(_buddy.bdd___gt__) 91 __hash__ = _swig_new_instance_method(_buddy.bdd___hash__) 92 __str__ = _swig_new_instance_method(_buddy.bdd___str__) 93 __and__ = _swig_new_instance_method(_buddy.bdd___and__) 94 __xor__ = _swig_new_instance_method(_buddy.bdd___xor__) 95 __or__ = _swig_new_instance_method(_buddy.bdd___or__) 96 __rshift__ = _swig_new_instance_method(_buddy.bdd___rshift__) 97 __lshift__ = _swig_new_instance_method(_buddy.bdd___lshift__) 98 __sub__ = _swig_new_instance_method(_buddy.bdd___sub__) 99 __neg__ = _swig_new_instance_method(_buddy.bdd___neg__) 100 101 def __init__(self): 102 _buddy.bdd_swiginit(self, _buddy.new_bdd()) 103 __swig_destroy__ = _buddy.delete_bdd 104 105# Register bdd in _buddy: 106_buddy.bdd_swigregister(bdd) 107 108bdd_init = _buddy.bdd_init 109bdd_done = _buddy.bdd_done 110bdd_setvarnum = _buddy.bdd_setvarnum 111bdd_extvarnum = _buddy.bdd_extvarnum 112bdd_isrunning = _buddy.bdd_isrunning 113bdd_setmaxnodenum = _buddy.bdd_setmaxnodenum 114bdd_setmaxincrease = _buddy.bdd_setmaxincrease 115bdd_setminfreenodes = _buddy.bdd_setminfreenodes 116bdd_getnodenum = _buddy.bdd_getnodenum 117bdd_getallocnum = _buddy.bdd_getallocnum 118bdd_versionstr = _buddy.bdd_versionstr 119bdd_versionnum = _buddy.bdd_versionnum 120bdd_fprintstat = _buddy.bdd_fprintstat 121bdd_printstat = _buddy.bdd_printstat 122bdd_errstring = _buddy.bdd_errstring 123bdd_clear_error = _buddy.bdd_clear_error 124bdd_ithvar = _buddy.bdd_ithvar 125bdd_nithvar = _buddy.bdd_nithvar 126bdd_var = _buddy.bdd_var 127bdd_low = _buddy.bdd_low 128bdd_high = _buddy.bdd_high 129bdd_scanset = _buddy.bdd_scanset 130bdd_makeset = _buddy.bdd_makeset 131bdd_setbddpair = _buddy.bdd_setbddpair 132bdd_replace = _buddy.bdd_replace 133bdd_compose = _buddy.bdd_compose 134bdd_veccompose = _buddy.bdd_veccompose 135bdd_restrict = _buddy.bdd_restrict 136bdd_constrain = _buddy.bdd_constrain 137bdd_simplify = _buddy.bdd_simplify 138bdd_ibuildcube = _buddy.bdd_ibuildcube 139bdd_not = _buddy.bdd_not 140bdd_apply = _buddy.bdd_apply 141bdd_and = _buddy.bdd_and 142bdd_or = _buddy.bdd_or 143bdd_xor = _buddy.bdd_xor 144bdd_imp = _buddy.bdd_imp 145bdd_biimp = _buddy.bdd_biimp 146bdd_setxor = _buddy.bdd_setxor 147bdd_implies = _buddy.bdd_implies 148bdd_ite = _buddy.bdd_ite 149bdd_exist = _buddy.bdd_exist 150bdd_existcomp = _buddy.bdd_existcomp 151bdd_forall = _buddy.bdd_forall 152bdd_forallcomp = _buddy.bdd_forallcomp 153bdd_unique = _buddy.bdd_unique 154bdd_uniquecomp = _buddy.bdd_uniquecomp 155bdd_appex = _buddy.bdd_appex 156bdd_appexcomp = _buddy.bdd_appexcomp 157bdd_appall = _buddy.bdd_appall 158bdd_appallcomp = _buddy.bdd_appallcomp 159bdd_appuni = _buddy.bdd_appuni 160bdd_appunicomp = _buddy.bdd_appunicomp 161bdd_support = _buddy.bdd_support 162bdd_satone = _buddy.bdd_satone 163bdd_satoneset = _buddy.bdd_satoneset 164bdd_fullsatone = _buddy.bdd_fullsatone 165bdd_allsat = _buddy.bdd_allsat 166bdd_satcount = _buddy.bdd_satcount 167bdd_satcountset = _buddy.bdd_satcountset 168bdd_satcountln = _buddy.bdd_satcountln 169bdd_satcountlnset = _buddy.bdd_satcountlnset 170bdd_nodecount = _buddy.bdd_nodecount 171bdd_varprofile = _buddy.bdd_varprofile 172bdd_pathcount = _buddy.bdd_pathcount 173bdd_have_common_assignment = _buddy.bdd_have_common_assignment 174bdd_is_cube = _buddy.bdd_is_cube 175bdd_fprinttable = _buddy.bdd_fprinttable 176bdd_printtable = _buddy.bdd_printtable 177bdd_fprintset = _buddy.bdd_fprintset 178bdd_printset = _buddy.bdd_printset 179bdd_printdot = _buddy.bdd_printdot 180bdd_fprintdot = _buddy.bdd_fprintdot 181bdd_fnprintdot = _buddy.bdd_fnprintdot 182bdd_fnsave = _buddy.bdd_fnsave 183bdd_save = _buddy.bdd_save 184bdd_fnload = _buddy.bdd_fnload 185bdd_load = _buddy.bdd_load 186bdd_addvarblock = _buddy.bdd_addvarblock 187bddop_and = _buddy.bddop_and 188bddop_xor = _buddy.bddop_xor 189bddop_or = _buddy.bddop_or 190bddop_nand = _buddy.bddop_nand 191bddop_nor = _buddy.bddop_nor 192bddop_imp = _buddy.bddop_imp 193bddop_biimp = _buddy.bddop_biimp 194bddop_diff = _buddy.bddop_diff 195bddop_less = _buddy.bddop_less 196bddop_invimp = _buddy.bddop_invimp 197BDD_REORDER_NONE = _buddy.BDD_REORDER_NONE 198BDD_REORDER_WIN2 = _buddy.BDD_REORDER_WIN2 199BDD_REORDER_WIN2ITE = _buddy.BDD_REORDER_WIN2ITE 200BDD_REORDER_SIFT = _buddy.BDD_REORDER_SIFT 201BDD_REORDER_SIFTITE = _buddy.BDD_REORDER_SIFTITE 202BDD_REORDER_WIN3 = _buddy.BDD_REORDER_WIN3 203BDD_REORDER_WIN3ITE = _buddy.BDD_REORDER_WIN3ITE 204BDD_REORDER_RANDOM = _buddy.BDD_REORDER_RANDOM 205fdd_extdomain = _buddy.fdd_extdomain 206fdd_overlapdomain = _buddy.fdd_overlapdomain 207fdd_clearall = _buddy.fdd_clearall 208fdd_domainnum = _buddy.fdd_domainnum 209fdd_domainsize = _buddy.fdd_domainsize 210fdd_varnum = _buddy.fdd_varnum 211fdd_vars = _buddy.fdd_vars 212fdd_ithvar = _buddy.fdd_ithvar 213fdd_scanvar = _buddy.fdd_scanvar 214fdd_scanallvar = _buddy.fdd_scanallvar 215fdd_ithset = _buddy.fdd_ithset 216fdd_domain = _buddy.fdd_domain 217fdd_equals = _buddy.fdd_equals 218fdd_printset = _buddy.fdd_printset 219fdd_fprintset = _buddy.fdd_fprintset 220fdd_scanset = _buddy.fdd_scanset 221fdd_makeset = _buddy.fdd_makeset 222fdd_intaddvarblock = _buddy.fdd_intaddvarblock 223fdd_setpair = _buddy.fdd_setpair 224fdd_setpairs = _buddy.fdd_setpairs 225bvec_copy = _buddy.bvec_copy 226bvec_true = _buddy.bvec_true 227bvec_false = _buddy.bvec_false 228bvec_con = _buddy.bvec_con 229bvec_var = _buddy.bvec_var 230bvec_varfdd = _buddy.bvec_varfdd 231bvec_varvec = _buddy.bvec_varvec 232bvec_coerce = _buddy.bvec_coerce 233bvec_isconst = _buddy.bvec_isconst 234bvec_val = _buddy.bvec_val 235bvec_map1 = _buddy.bvec_map1 236bvec_map2 = _buddy.bvec_map2 237bvec_map3 = _buddy.bvec_map3 238bvec_add = _buddy.bvec_add 239bvec_sub = _buddy.bvec_sub 240bvec_mulfixed = _buddy.bvec_mulfixed 241bvec_mul = _buddy.bvec_mul 242bvec_divfixed = _buddy.bvec_divfixed 243bvec_div = _buddy.bvec_div 244bvec_ite = _buddy.bvec_ite 245bvec_shlfixed = _buddy.bvec_shlfixed 246bvec_shl = _buddy.bvec_shl 247bvec_shrfixed = _buddy.bvec_shrfixed 248bvec_shr = _buddy.bvec_shr 249bvec_lth = _buddy.bvec_lth 250bvec_lte = _buddy.bvec_lte 251bvec_gth = _buddy.bvec_gth 252bvec_gte = _buddy.bvec_gte 253bvec_equ = _buddy.bvec_equ 254bvec_neq = _buddy.bvec_neq 255class bvec(object): 256 thisown = property(lambda x: x.this.own(), lambda x, v: x.this.own(v), doc="The membership flag") 257 __repr__ = _swig_repr 258 259 def __init__(self, *args): 260 _buddy.bvec_swiginit(self, _buddy.new_bvec(*args)) 261 __swig_destroy__ = _buddy.delete_bvec 262 set = _swig_new_instance_method(_buddy.bvec_set) 263 bitnum = _swig_new_instance_method(_buddy.bvec_bitnum) 264 empty = _swig_new_instance_method(_buddy.bvec_empty) 265 __and__ = _swig_new_instance_method(_buddy.bvec___and__) 266 __xor__ = _swig_new_instance_method(_buddy.bvec___xor__) 267 __or__ = _swig_new_instance_method(_buddy.bvec___or__) 268 __lshift__ = _swig_new_instance_method(_buddy.bvec___lshift__) 269 __rshift__ = _swig_new_instance_method(_buddy.bvec___rshift__) 270 __add__ = _swig_new_instance_method(_buddy.bvec___add__) 271 __sub__ = _swig_new_instance_method(_buddy.bvec___sub__) 272 __mul__ = _swig_new_instance_method(_buddy.bvec___mul__) 273 __lt__ = _swig_new_instance_method(_buddy.bvec___lt__) 274 __le__ = _swig_new_instance_method(_buddy.bvec___le__) 275 __gt__ = _swig_new_instance_method(_buddy.bvec___gt__) 276 __ge__ = _swig_new_instance_method(_buddy.bvec___ge__) 277 __eq__ = _swig_new_instance_method(_buddy.bvec___eq__) 278 __ne__ = _swig_new_instance_method(_buddy.bvec___ne__) 279 __str__ = _swig_new_instance_method(_buddy.bvec___str__) 280 __getitem__ = _swig_new_instance_method(_buddy.bvec___getitem__) 281 282# Register bvec in _buddy: 283_buddy.bvec_swigregister(bvec) 284cvar = _buddy.cvar 285bddfalse = cvar.bddfalse 286bddtrue = cvar.bddtrue 287 288 289 290