# This file was automatically generated by SWIG (http://www.swig.org).
# Version 1.3.36
#
# Don't modify this file, modify the SWIG interface instead.
# This file is compatible with both classic and new-style classes.
 
import _ExampleInterface
import new
new_instancemethod = new.instancemethod
try:
    _swig_property = property
except NameError:
    pass # Python < 2.2 doesn't have 'property'.
def _swig_setattr_nondynamic(self,class_type,name,value,static=1):
    if (name == "thisown"): return self.this.own(value)
    if (name == "this"):
        if type(value).__name__ == 'PySwigObject':
            self.__dict__[name] = value
            return
    method = class_type.__swig_setmethods__.get(name,None)
    if method: return method(self,value)
    if (not static) or hasattr(self,name):
        self.__dict__[name] = value
    else:
        raise AttributeError("You cannot add attributes to %s" % self)
 
def _swig_setattr(self,class_type,name,value):
    return _swig_setattr_nondynamic(self,class_type,name,value,0)
 
def _swig_getattr(self,class_type,name):
    if (name == "thisown"): return self.this.own()
    method = class_type.__swig_getmethods__.get(name,None)
    if method: return method(self)
    raise AttributeError,name
 
def _swig_repr(self):
    try: strthis = "proxy of " + self.this.__repr__()
    except: strthis = ""
    return "<%s.%s; %s >" % (self.__class__.__module__, self.__class__.__name__, strthis,)
 
import types
try:
    _object = types.ObjectType
    _newclass = 1
except AttributeError:
    class _object : pass
    _newclass = 0
del types
 
 
class ExampleInterface_Expression(_object):
    __swig_setmethods__ = {}
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterface_Expression, name, value)
    __swig_getmethods__ = {}
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterface_Expression, name)
    __repr__ = _swig_repr
    __swig_setmethods__["nbj_ident"] = _ExampleInterface.ExampleInterface_Expression_nbj_ident_set
    __swig_getmethods__["nbj_ident"] = _ExampleInterface.ExampleInterface_Expression_nbj_ident_get
    if _newclass:nbj_ident = _swig_property(_ExampleInterface.ExampleInterface_Expression_nbj_ident_get, _ExampleInterface.ExampleInterface_Expression_nbj_ident_set)
    def has_been_added(*args): return _ExampleInterface.ExampleInterface_Expression_has_been_added(*args)
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterface_Expression(*args)
        try: self.this.append(this)
        except: self.this = this
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterface_Expression
    __del__ = lambda self : None;
    def getVariableId(*args): return _ExampleInterface.ExampleInterface_Expression_getVariableId(*args)
    def get_value(*args): return _ExampleInterface.ExampleInterface_Expression_get_value(*args)
    def get_size(*args): return _ExampleInterface.ExampleInterface_Expression_get_size(*args)
    def get_min(*args): return _ExampleInterface.ExampleInterface_Expression_get_min(*args)
    def get_max(*args): return _ExampleInterface.ExampleInterface_Expression_get_max(*args)
    def contain(*args): return _ExampleInterface.ExampleInterface_Expression_contain(*args)
    def add(*args): return _ExampleInterface.ExampleInterface_Expression_add(*args)
ExampleInterface_Expression_swigregister = _ExampleInterface.ExampleInterface_Expression_swigregister
ExampleInterface_Expression_swigregister(ExampleInterface_Expression)
 
class ExampleInterface_IntVar(ExampleInterface_Expression):
    __swig_setmethods__ = {}
    for _s in [ExampleInterface_Expression]: __swig_setmethods__.update(getattr(_s,'__swig_setmethods__',{}))
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterface_IntVar, name, value)
    __swig_getmethods__ = {}
    for _s in [ExampleInterface_Expression]: __swig_getmethods__.update(getattr(_s,'__swig_getmethods__',{}))
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterface_IntVar, name)
    __repr__ = _swig_repr
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterface_IntVar(*args)
        try: self.this.append(this)
        except: self.this = this
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterface_IntVar
    __del__ = lambda self : None;
ExampleInterface_IntVar_swigregister = _ExampleInterface.ExampleInterface_IntVar_swigregister
ExampleInterface_IntVar_swigregister(ExampleInterface_IntVar)
 
class ExampleInterface_Min(ExampleInterface_Expression):
    __swig_setmethods__ = {}
    for _s in [ExampleInterface_Expression]: __swig_setmethods__.update(getattr(_s,'__swig_setmethods__',{}))
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterface_Min, name, value)
    __swig_getmethods__ = {}
    for _s in [ExampleInterface_Expression]: __swig_getmethods__.update(getattr(_s,'__swig_getmethods__',{}))
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterface_Min, name)
    __repr__ = _swig_repr
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterface_Min(*args)
        try: self.this.append(this)
        except: self.this = this
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterface_Min
    __del__ = lambda self : None;
    def add(*args): return _ExampleInterface.ExampleInterface_Min_add(*args)
ExampleInterface_Min_swigregister = _ExampleInterface.ExampleInterface_Min_swigregister
ExampleInterface_Min_swigregister(ExampleInterface_Min)
 
class ExampleInterface_Max(ExampleInterface_Expression):
    __swig_setmethods__ = {}
    for _s in [ExampleInterface_Expression]: __swig_setmethods__.update(getattr(_s,'__swig_setmethods__',{}))
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterface_Max, name, value)
    __swig_getmethods__ = {}
    for _s in [ExampleInterface_Expression]: __swig_getmethods__.update(getattr(_s,'__swig_getmethods__',{}))
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterface_Max, name)
    __repr__ = _swig_repr
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterface_Max(*args)
        try: self.this.append(this)
        except: self.this = this
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterface_Max
    __del__ = lambda self : None;
    def add(*args): return _ExampleInterface.ExampleInterface_Max_add(*args)
ExampleInterface_Max_swigregister = _ExampleInterface.ExampleInterface_Max_swigregister
ExampleInterface_Max_swigregister(ExampleInterface_Max)
 
class ExampleInterface_AllDiff(ExampleInterface_Expression):
    __swig_setmethods__ = {}
    for _s in [ExampleInterface_Expression]: __swig_setmethods__.update(getattr(_s,'__swig_setmethods__',{}))
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterface_AllDiff, name, value)
    __swig_getmethods__ = {}
    for _s in [ExampleInterface_Expression]: __swig_getmethods__.update(getattr(_s,'__swig_getmethods__',{}))
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterface_AllDiff, name)
    __repr__ = _swig_repr
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterface_AllDiff(*args)
        try: self.this.append(this)
        except: self.this = this
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterface_AllDiff
    __del__ = lambda self : None;
    def add(*args): return _ExampleInterface.ExampleInterface_AllDiff_add(*args)
ExampleInterface_AllDiff_swigregister = _ExampleInterface.ExampleInterface_AllDiff_swigregister
ExampleInterface_AllDiff_swigregister(ExampleInterface_AllDiff)
 
class ExampleInterface_Gcc(ExampleInterface_Expression):
    __swig_setmethods__ = {}
    for _s in [ExampleInterface_Expression]: __swig_setmethods__.update(getattr(_s,'__swig_setmethods__',{}))
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterface_Gcc, name, value)
    __swig_getmethods__ = {}
    for _s in [ExampleInterface_Expression]: __swig_getmethods__.update(getattr(_s,'__swig_getmethods__',{}))
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterface_Gcc, name)
    __repr__ = _swig_repr
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterface_Gcc(*args)
        try: self.this.append(this)
        except: self.this = this
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterface_Gcc
    __del__ = lambda self : None;
    def add(*args): return _ExampleInterface.ExampleInterface_Gcc_add(*args)
ExampleInterface_Gcc_swigregister = _ExampleInterface.ExampleInterface_Gcc_swigregister
ExampleInterface_Gcc_swigregister(ExampleInterface_Gcc)
 
class ExampleInterface_Element(ExampleInterface_Expression):
    __swig_setmethods__ = {}
    for _s in [ExampleInterface_Expression]: __swig_setmethods__.update(getattr(_s,'__swig_setmethods__',{}))
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterface_Element, name, value)
    __swig_getmethods__ = {}
    for _s in [ExampleInterface_Expression]: __swig_getmethods__.update(getattr(_s,'__swig_getmethods__',{}))
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterface_Element, name)
    __repr__ = _swig_repr
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterface_Element(*args)
        try: self.this.append(this)
        except: self.this = this
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterface_Element
    __del__ = lambda self : None;
    def add(*args): return _ExampleInterface.ExampleInterface_Element_add(*args)
ExampleInterface_Element_swigregister = _ExampleInterface.ExampleInterface_Element_swigregister
ExampleInterface_Element_swigregister(ExampleInterface_Element)
 
class ExampleInterface_LeqLex(ExampleInterface_Expression):
    __swig_setmethods__ = {}
    for _s in [ExampleInterface_Expression]: __swig_setmethods__.update(getattr(_s,'__swig_setmethods__',{}))
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterface_LeqLex, name, value)
    __swig_getmethods__ = {}
    for _s in [ExampleInterface_Expression]: __swig_getmethods__.update(getattr(_s,'__swig_getmethods__',{}))
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterface_LeqLex, name)
    __repr__ = _swig_repr
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterface_LeqLex(*args)
        try: self.this.append(this)
        except: self.this = this
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterface_LeqLex
    __del__ = lambda self : None;
    def add(*args): return _ExampleInterface.ExampleInterface_LeqLex_add(*args)
ExampleInterface_LeqLex_swigregister = _ExampleInterface.ExampleInterface_LeqLex_swigregister
ExampleInterface_LeqLex_swigregister(ExampleInterface_LeqLex)
 
class ExampleInterface_LessLex(ExampleInterface_Expression):
    __swig_setmethods__ = {}
    for _s in [ExampleInterface_Expression]: __swig_setmethods__.update(getattr(_s,'__swig_setmethods__',{}))
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterface_LessLex, name, value)
    __swig_getmethods__ = {}
    for _s in [ExampleInterface_Expression]: __swig_getmethods__.update(getattr(_s,'__swig_getmethods__',{}))
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterface_LessLex, name)
    __repr__ = _swig_repr
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterface_LessLex(*args)
        try: self.this.append(this)
        except: self.this = this
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterface_LessLex
    __del__ = lambda self : None;
    def add(*args): return _ExampleInterface.ExampleInterface_LessLex_add(*args)
ExampleInterface_LessLex_swigregister = _ExampleInterface.ExampleInterface_LessLex_swigregister
ExampleInterface_LessLex_swigregister(ExampleInterface_LessLex)
 
class ExampleInterface_Sum(ExampleInterface_Expression):
    __swig_setmethods__ = {}
    for _s in [ExampleInterface_Expression]: __swig_setmethods__.update(getattr(_s,'__swig_setmethods__',{}))
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterface_Sum, name, value)
    __swig_getmethods__ = {}
    for _s in [ExampleInterface_Expression]: __swig_getmethods__.update(getattr(_s,'__swig_getmethods__',{}))
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterface_Sum, name)
    __repr__ = _swig_repr
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterface_Sum(*args)
        try: self.this.append(this)
        except: self.this = this
    def addVar(*args): return _ExampleInterface.ExampleInterface_Sum_addVar(*args)
    def addWeight(*args): return _ExampleInterface.ExampleInterface_Sum_addWeight(*args)
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterface_Sum
    __del__ = lambda self : None;
    def add(*args): return _ExampleInterface.ExampleInterface_Sum_add(*args)
ExampleInterface_Sum_swigregister = _ExampleInterface.ExampleInterface_Sum_swigregister
ExampleInterface_Sum_swigregister(ExampleInterface_Sum)
 
class ExampleInterface_binop(ExampleInterface_Expression):
    __swig_setmethods__ = {}
    for _s in [ExampleInterface_Expression]: __swig_setmethods__.update(getattr(_s,'__swig_setmethods__',{}))
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterface_binop, name, value)
    __swig_getmethods__ = {}
    for _s in [ExampleInterface_Expression]: __swig_getmethods__.update(getattr(_s,'__swig_getmethods__',{}))
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterface_binop, name)
    def __init__(self, *args, **kwargs): raise AttributeError, "No constructor defined"
    __repr__ = _swig_repr
    def arity(*args): return _ExampleInterface.ExampleInterface_binop_arity(*args)
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterface_binop
    __del__ = lambda self : None;
    def add(*args): return _ExampleInterface.ExampleInterface_binop_add(*args)
ExampleInterface_binop_swigregister = _ExampleInterface.ExampleInterface_binop_swigregister
ExampleInterface_binop_swigregister(ExampleInterface_binop)
 
class ExampleInterface_mul(ExampleInterface_binop):
    __swig_setmethods__ = {}
    for _s in [ExampleInterface_binop]: __swig_setmethods__.update(getattr(_s,'__swig_setmethods__',{}))
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterface_mul, name, value)
    __swig_getmethods__ = {}
    for _s in [ExampleInterface_binop]: __swig_getmethods__.update(getattr(_s,'__swig_getmethods__',{}))
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterface_mul, name)
    __repr__ = _swig_repr
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterface_mul(*args)
        try: self.this.append(this)
        except: self.this = this
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterface_mul
    __del__ = lambda self : None;
    def add(*args): return _ExampleInterface.ExampleInterface_mul_add(*args)
ExampleInterface_mul_swigregister = _ExampleInterface.ExampleInterface_mul_swigregister
ExampleInterface_mul_swigregister(ExampleInterface_mul)
 
class ExampleInterface_div(ExampleInterface_binop):
    __swig_setmethods__ = {}
    for _s in [ExampleInterface_binop]: __swig_setmethods__.update(getattr(_s,'__swig_setmethods__',{}))
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterface_div, name, value)
    __swig_getmethods__ = {}
    for _s in [ExampleInterface_binop]: __swig_getmethods__.update(getattr(_s,'__swig_getmethods__',{}))
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterface_div, name)
    __repr__ = _swig_repr
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterface_div(*args)
        try: self.this.append(this)
        except: self.this = this
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterface_div
    __del__ = lambda self : None;
    def add(*args): return _ExampleInterface.ExampleInterface_div_add(*args)
ExampleInterface_div_swigregister = _ExampleInterface.ExampleInterface_div_swigregister
ExampleInterface_div_swigregister(ExampleInterface_div)
 
class ExampleInterface_mod(ExampleInterface_binop):
    __swig_setmethods__ = {}
    for _s in [ExampleInterface_binop]: __swig_setmethods__.update(getattr(_s,'__swig_setmethods__',{}))
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterface_mod, name, value)
    __swig_getmethods__ = {}
    for _s in [ExampleInterface_binop]: __swig_getmethods__.update(getattr(_s,'__swig_getmethods__',{}))
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterface_mod, name)
    __repr__ = _swig_repr
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterface_mod(*args)
        try: self.this.append(this)
        except: self.this = this
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterface_mod
    __del__ = lambda self : None;
    def add(*args): return _ExampleInterface.ExampleInterface_mod_add(*args)
ExampleInterface_mod_swigregister = _ExampleInterface.ExampleInterface_mod_swigregister
ExampleInterface_mod_swigregister(ExampleInterface_mod)
 
class ExampleInterface_and(ExampleInterface_binop):
    __swig_setmethods__ = {}
    for _s in [ExampleInterface_binop]: __swig_setmethods__.update(getattr(_s,'__swig_setmethods__',{}))
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterface_and, name, value)
    __swig_getmethods__ = {}
    for _s in [ExampleInterface_binop]: __swig_getmethods__.update(getattr(_s,'__swig_getmethods__',{}))
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterface_and, name)
    __repr__ = _swig_repr
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterface_and(*args)
        try: self.this.append(this)
        except: self.this = this
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterface_and
    __del__ = lambda self : None;
    def add(*args): return _ExampleInterface.ExampleInterface_and_add(*args)
ExampleInterface_and_swigregister = _ExampleInterface.ExampleInterface_and_swigregister
ExampleInterface_and_swigregister(ExampleInterface_and)
 
class ExampleInterface_or(ExampleInterface_binop):
    __swig_setmethods__ = {}
    for _s in [ExampleInterface_binop]: __swig_setmethods__.update(getattr(_s,'__swig_setmethods__',{}))
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterface_or, name, value)
    __swig_getmethods__ = {}
    for _s in [ExampleInterface_binop]: __swig_getmethods__.update(getattr(_s,'__swig_getmethods__',{}))
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterface_or, name)
    __repr__ = _swig_repr
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterface_or(*args)
        try: self.this.append(this)
        except: self.this = this
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterface_or
    __del__ = lambda self : None;
    def add(*args): return _ExampleInterface.ExampleInterface_or_add(*args)
ExampleInterface_or_swigregister = _ExampleInterface.ExampleInterface_or_swigregister
ExampleInterface_or_swigregister(ExampleInterface_or)
 
class ExampleInterface_eq(ExampleInterface_binop):
    __swig_setmethods__ = {}
    for _s in [ExampleInterface_binop]: __swig_setmethods__.update(getattr(_s,'__swig_setmethods__',{}))
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterface_eq, name, value)
    __swig_getmethods__ = {}
    for _s in [ExampleInterface_binop]: __swig_getmethods__.update(getattr(_s,'__swig_getmethods__',{}))
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterface_eq, name)
    __repr__ = _swig_repr
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterface_eq(*args)
        try: self.this.append(this)
        except: self.this = this
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterface_eq
    __del__ = lambda self : None;
    def add(*args): return _ExampleInterface.ExampleInterface_eq_add(*args)
ExampleInterface_eq_swigregister = _ExampleInterface.ExampleInterface_eq_swigregister
ExampleInterface_eq_swigregister(ExampleInterface_eq)
 
class ExampleInterface_ne(ExampleInterface_binop):
    __swig_setmethods__ = {}
    for _s in [ExampleInterface_binop]: __swig_setmethods__.update(getattr(_s,'__swig_setmethods__',{}))
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterface_ne, name, value)
    __swig_getmethods__ = {}
    for _s in [ExampleInterface_binop]: __swig_getmethods__.update(getattr(_s,'__swig_getmethods__',{}))
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterface_ne, name)
    __repr__ = _swig_repr
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterface_ne(*args)
        try: self.this.append(this)
        except: self.this = this
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterface_ne
    __del__ = lambda self : None;
    def add(*args): return _ExampleInterface.ExampleInterface_ne_add(*args)
ExampleInterface_ne_swigregister = _ExampleInterface.ExampleInterface_ne_swigregister
ExampleInterface_ne_swigregister(ExampleInterface_ne)
 
class ExampleInterface_le(ExampleInterface_binop):
    __swig_setmethods__ = {}
    for _s in [ExampleInterface_binop]: __swig_setmethods__.update(getattr(_s,'__swig_setmethods__',{}))
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterface_le, name, value)
    __swig_getmethods__ = {}
    for _s in [ExampleInterface_binop]: __swig_getmethods__.update(getattr(_s,'__swig_getmethods__',{}))
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterface_le, name)
    __repr__ = _swig_repr
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterface_le(*args)
        try: self.this.append(this)
        except: self.this = this
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterface_le
    __del__ = lambda self : None;
    def add(*args): return _ExampleInterface.ExampleInterface_le_add(*args)
ExampleInterface_le_swigregister = _ExampleInterface.ExampleInterface_le_swigregister
ExampleInterface_le_swigregister(ExampleInterface_le)
 
class ExampleInterface_ge(ExampleInterface_binop):
    __swig_setmethods__ = {}
    for _s in [ExampleInterface_binop]: __swig_setmethods__.update(getattr(_s,'__swig_setmethods__',{}))
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterface_ge, name, value)
    __swig_getmethods__ = {}
    for _s in [ExampleInterface_binop]: __swig_getmethods__.update(getattr(_s,'__swig_getmethods__',{}))
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterface_ge, name)
    __repr__ = _swig_repr
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterface_ge(*args)
        try: self.this.append(this)
        except: self.this = this
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterface_ge
    __del__ = lambda self : None;
    def add(*args): return _ExampleInterface.ExampleInterface_ge_add(*args)
ExampleInterface_ge_swigregister = _ExampleInterface.ExampleInterface_ge_swigregister
ExampleInterface_ge_swigregister(ExampleInterface_ge)
 
class ExampleInterface_lt(ExampleInterface_binop):
    __swig_setmethods__ = {}
    for _s in [ExampleInterface_binop]: __swig_setmethods__.update(getattr(_s,'__swig_setmethods__',{}))
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterface_lt, name, value)
    __swig_getmethods__ = {}
    for _s in [ExampleInterface_binop]: __swig_getmethods__.update(getattr(_s,'__swig_getmethods__',{}))
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterface_lt, name)
    __repr__ = _swig_repr
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterface_lt(*args)
        try: self.this.append(this)
        except: self.this = this
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterface_lt
    __del__ = lambda self : None;
    def add(*args): return _ExampleInterface.ExampleInterface_lt_add(*args)
ExampleInterface_lt_swigregister = _ExampleInterface.ExampleInterface_lt_swigregister
ExampleInterface_lt_swigregister(ExampleInterface_lt)
 
class ExampleInterface_gt(ExampleInterface_binop):
    __swig_setmethods__ = {}
    for _s in [ExampleInterface_binop]: __swig_setmethods__.update(getattr(_s,'__swig_setmethods__',{}))
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterface_gt, name, value)
    __swig_getmethods__ = {}
    for _s in [ExampleInterface_binop]: __swig_getmethods__.update(getattr(_s,'__swig_getmethods__',{}))
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterface_gt, name)
    __repr__ = _swig_repr
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterface_gt(*args)
        try: self.this.append(this)
        except: self.this = this
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterface_gt
    __del__ = lambda self : None;
    def add(*args): return _ExampleInterface.ExampleInterface_gt_add(*args)
ExampleInterface_gt_swigregister = _ExampleInterface.ExampleInterface_gt_swigregister
ExampleInterface_gt_swigregister(ExampleInterface_gt)
 
class ExampleInterface_Minimise(ExampleInterface_Expression):
    __swig_setmethods__ = {}
    for _s in [ExampleInterface_Expression]: __swig_setmethods__.update(getattr(_s,'__swig_setmethods__',{}))
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterface_Minimise, name, value)
    __swig_getmethods__ = {}
    for _s in [ExampleInterface_Expression]: __swig_getmethods__.update(getattr(_s,'__swig_getmethods__',{}))
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterface_Minimise, name)
    __repr__ = _swig_repr
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterface_Minimise(*args)
        try: self.this.append(this)
        except: self.this = this
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterface_Minimise
    __del__ = lambda self : None;
    def add(*args): return _ExampleInterface.ExampleInterface_Minimise_add(*args)
ExampleInterface_Minimise_swigregister = _ExampleInterface.ExampleInterface_Minimise_swigregister
ExampleInterface_Minimise_swigregister(ExampleInterface_Minimise)
 
class ExampleInterface_Maximise(ExampleInterface_Expression):
    __swig_setmethods__ = {}
    for _s in [ExampleInterface_Expression]: __swig_setmethods__.update(getattr(_s,'__swig_setmethods__',{}))
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterface_Maximise, name, value)
    __swig_getmethods__ = {}
    for _s in [ExampleInterface_Expression]: __swig_getmethods__.update(getattr(_s,'__swig_getmethods__',{}))
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterface_Maximise, name)
    __repr__ = _swig_repr
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterface_Maximise(*args)
        try: self.this.append(this)
        except: self.this = this
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterface_Maximise
    __del__ = lambda self : None;
    def add(*args): return _ExampleInterface.ExampleInterface_Maximise_add(*args)
ExampleInterface_Maximise_swigregister = _ExampleInterface.ExampleInterface_Maximise_swigregister
ExampleInterface_Maximise_swigregister(ExampleInterface_Maximise)
 
class ExampleInterfaceSolver(_object):
    __swig_setmethods__ = {}
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterfaceSolver, name, value)
    __swig_getmethods__ = {}
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterfaceSolver, name)
    __repr__ = _swig_repr
    __swig_setmethods__["first_decision_level"] = _ExampleInterface.ExampleInterfaceSolver_first_decision_level_set
    __swig_getmethods__["first_decision_level"] = _ExampleInterface.ExampleInterfaceSolver_first_decision_level_get
    if _newclass:first_decision_level = _swig_property(_ExampleInterface.ExampleInterfaceSolver_first_decision_level_get, _ExampleInterface.ExampleInterfaceSolver_first_decision_level_set)
    __swig_setmethods__["saved_level"] = _ExampleInterface.ExampleInterfaceSolver_saved_level_set
    __swig_getmethods__["saved_level"] = _ExampleInterface.ExampleInterfaceSolver_saved_level_get
    if _newclass:saved_level = _swig_property(_ExampleInterface.ExampleInterfaceSolver_saved_level_get, _ExampleInterface.ExampleInterfaceSolver_saved_level_set)
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterfaceSolver(*args)
        try: self.this.append(this)
        except: self.this = this
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterfaceSolver
    __del__ = lambda self : None;
    def add(*args): return _ExampleInterface.ExampleInterfaceSolver_add(*args)
    def initialise(*args): return _ExampleInterface.ExampleInterfaceSolver_initialise(*args)
    def solve(*args): return _ExampleInterface.ExampleInterfaceSolver_solve(*args)
    def solveAndRestart(*args): return _ExampleInterface.ExampleInterfaceSolver_solveAndRestart(*args)
    def startNewSearch(*args): return _ExampleInterface.ExampleInterfaceSolver_startNewSearch(*args)
    def getNextSolution(*args): return _ExampleInterface.ExampleInterfaceSolver_getNextSolution(*args)
    def sacPreprocess(*args): return _ExampleInterface.ExampleInterfaceSolver_sacPreprocess(*args)
    def next(*args): return _ExampleInterface.ExampleInterfaceSolver_next(*args)
    def get_level(*args): return _ExampleInterface.ExampleInterfaceSolver_get_level(*args)
    def propagate(*args): return _ExampleInterface.ExampleInterfaceSolver_propagate(*args)
    def save(*args): return _ExampleInterface.ExampleInterfaceSolver_save(*args)
    def post(*args): return _ExampleInterface.ExampleInterfaceSolver_post(*args)
    def undo(*args): return _ExampleInterface.ExampleInterfaceSolver_undo(*args)
    def deduce(*args): return _ExampleInterface.ExampleInterfaceSolver_deduce(*args)
    def branch_right(*args): return _ExampleInterface.ExampleInterfaceSolver_branch_right(*args)
    def store_solution(*args): return _ExampleInterface.ExampleInterfaceSolver_store_solution(*args)
    def setHeuristic(*args): return _ExampleInterface.ExampleInterfaceSolver_setHeuristic(*args)
    def setFailureLimit(*args): return _ExampleInterface.ExampleInterfaceSolver_setFailureLimit(*args)
    def setNodeLimit(*args): return _ExampleInterface.ExampleInterfaceSolver_setNodeLimit(*args)
    def setTimeLimit(*args): return _ExampleInterface.ExampleInterfaceSolver_setTimeLimit(*args)
    def setVerbosity(*args): return _ExampleInterface.ExampleInterfaceSolver_setVerbosity(*args)
    def setRandomized(*args): return _ExampleInterface.ExampleInterfaceSolver_setRandomized(*args)
    def setRandomSeed(*args): return _ExampleInterface.ExampleInterfaceSolver_setRandomSeed(*args)
    def forceFiniteDomain(*args): return _ExampleInterface.ExampleInterfaceSolver_forceFiniteDomain(*args)
    def addNogood(*args): return _ExampleInterface.ExampleInterfaceSolver_addNogood(*args)
    def guide(*args): return _ExampleInterface.ExampleInterfaceSolver_guide(*args)
    def backtrackTo(*args): return _ExampleInterface.ExampleInterfaceSolver_backtrackTo(*args)
    def upOneLevel(*args): return _ExampleInterface.ExampleInterfaceSolver_upOneLevel(*args)
    def presolve(*args): return _ExampleInterface.ExampleInterfaceSolver_presolve(*args)
    def assign(*args): return _ExampleInterface.ExampleInterfaceSolver_assign(*args)
    def increase_init_level(*args): return _ExampleInterface.ExampleInterfaceSolver_increase_init_level(*args)
    def decrease_init_level(*args): return _ExampleInterface.ExampleInterfaceSolver_decrease_init_level(*args)
    def reset(*args): return _ExampleInterface.ExampleInterfaceSolver_reset(*args)
    def setLowerBounds(*args): return _ExampleInterface.ExampleInterfaceSolver_setLowerBounds(*args)
    def setUpperBounds(*args): return _ExampleInterface.ExampleInterfaceSolver_setUpperBounds(*args)
    def setRestartNogood(*args): return _ExampleInterface.ExampleInterfaceSolver_setRestartNogood(*args)
    def is_opt(*args): return _ExampleInterface.ExampleInterfaceSolver_is_opt(*args)
    def is_sat(*args): return _ExampleInterface.ExampleInterfaceSolver_is_sat(*args)
    def is_unsat(*args): return _ExampleInterface.ExampleInterfaceSolver_is_unsat(*args)
    def printStatistics(*args): return _ExampleInterface.ExampleInterfaceSolver_printStatistics(*args)
    def getBacktracks(*args): return _ExampleInterface.ExampleInterfaceSolver_getBacktracks(*args)
    def getNodes(*args): return _ExampleInterface.ExampleInterfaceSolver_getNodes(*args)
    def getFailures(*args): return _ExampleInterface.ExampleInterfaceSolver_getFailures(*args)
    def getChecks(*args): return _ExampleInterface.ExampleInterfaceSolver_getChecks(*args)
    def getPropags(*args): return _ExampleInterface.ExampleInterfaceSolver_getPropags(*args)
    def getTime(*args): return _ExampleInterface.ExampleInterfaceSolver_getTime(*args)
    def getRandomNumber(*args): return _ExampleInterface.ExampleInterfaceSolver_getRandomNumber(*args)
    def getNumVariables(*args): return _ExampleInterface.ExampleInterfaceSolver_getNumVariables(*args)
    def getNumConstraints(*args): return _ExampleInterface.ExampleInterfaceSolver_getNumConstraints(*args)
    def num_vars(*args): return _ExampleInterface.ExampleInterfaceSolver_num_vars(*args)
    def get_degree(*args): return _ExampleInterface.ExampleInterfaceSolver_get_degree(*args)
ExampleInterfaceSolver_swigregister = _ExampleInterface.ExampleInterfaceSolver_swigregister
ExampleInterfaceSolver_swigregister(ExampleInterfaceSolver)
 
class ExampleInterfaceExpArray(_object):
    __swig_setmethods__ = {}
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterfaceExpArray, name, value)
    __swig_getmethods__ = {}
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterfaceExpArray, name)
    __repr__ = _swig_repr
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterfaceExpArray(*args)
        try: self.this.append(this)
        except: self.this = this
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterfaceExpArray
    __del__ = lambda self : None;
    def size(*args): return _ExampleInterface.ExampleInterfaceExpArray_size(*args)
    def add(*args): return _ExampleInterface.ExampleInterfaceExpArray_add(*args)
    def get_item(*args): return _ExampleInterface.ExampleInterfaceExpArray_get_item(*args)
    def set_item(*args): return _ExampleInterface.ExampleInterfaceExpArray_set_item(*args)
ExampleInterfaceExpArray_swigregister = _ExampleInterface.ExampleInterfaceExpArray_swigregister
ExampleInterfaceExpArray_swigregister(ExampleInterfaceExpArray)
 
class ExampleInterfaceIntArray(_object):
    __swig_setmethods__ = {}
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterfaceIntArray, name, value)
    __swig_getmethods__ = {}
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterfaceIntArray, name)
    __repr__ = _swig_repr
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterfaceIntArray(*args)
        try: self.this.append(this)
        except: self.this = this
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterfaceIntArray
    __del__ = lambda self : None;
    def size(*args): return _ExampleInterface.ExampleInterfaceIntArray_size(*args)
    def add(*args): return _ExampleInterface.ExampleInterfaceIntArray_add(*args)
    def get_item(*args): return _ExampleInterface.ExampleInterfaceIntArray_get_item(*args)
    def set_item(*args): return _ExampleInterface.ExampleInterfaceIntArray_set_item(*args)
ExampleInterfaceIntArray_swigregister = _ExampleInterface.ExampleInterfaceIntArray_swigregister
ExampleInterfaceIntArray_swigregister(ExampleInterfaceIntArray)
 
class ExampleInterfaceDoubleArray(_object):
    __swig_setmethods__ = {}
    __setattr__ = lambda self, name, value: _swig_setattr(self, ExampleInterfaceDoubleArray, name, value)
    __swig_getmethods__ = {}
    __getattr__ = lambda self, name: _swig_getattr(self, ExampleInterfaceDoubleArray, name)
    __repr__ = _swig_repr
    def __init__(self, *args): 
        this = _ExampleInterface.new_ExampleInterfaceDoubleArray(*args)
        try: self.this.append(this)
        except: self.this = this
    __swig_destroy__ = _ExampleInterface.delete_ExampleInterfaceDoubleArray
    __del__ = lambda self : None;
    def size(*args): return _ExampleInterface.ExampleInterfaceDoubleArray_size(*args)
    def add(*args): return _ExampleInterface.ExampleInterfaceDoubleArray_add(*args)
    def get_item(*args): return _ExampleInterface.ExampleInterfaceDoubleArray_get_item(*args)
    def set_item(*args): return _ExampleInterface.ExampleInterfaceDoubleArray_set_item(*args)
ExampleInterfaceDoubleArray_swigregister = _ExampleInterface.ExampleInterfaceDoubleArray_swigregister
ExampleInterfaceDoubleArray_swigregister(ExampleInterfaceDoubleArray)
 
 
 
 
 
import Numberjack
 
class Solver(Numberjack.NBJ_STD_Solver):
    def __init__(self, model=None, X=None, FD=False):
        Numberjack.NBJ_STD_Solver.__init__(self, "ExampleInterface", "ExampleInterface", model, X, FD)