def __init__(self, domain, value = None): """An abstract state. """ if value == None: value = top_state() self.in_scope = {} # symbols in scope in this state self.domain = domain # interpreter it belongs to self.moded, self.clauses, self.precond = value if isinstance(value,tuple) else (None,value,false_clauses()) self.pred = None # predecessor state self.label = None
def __init__(self, domain, value=None): """An abstract state. """ if value == None: value = top_state() self.in_scope = {} # symbols in scope in this state self.domain = domain # interpreter it belongs to self.moded, self.clauses, self.precond = value if isinstance( value, tuple) else (None, value, false_clauses()) self.pred = None # predecessor state self.label = None
def __init__(self, domain = None, value = None, expr = None, label = None): """An abstract state. """ if value == None: value = top_state() if domain == None: domain = im.module self.in_scope = {} # symbols in scope in this state TODO: obsolete self.domain = domain # interpreter it belongs to (now this is the module) self.moded, self.clauses, self.precond = value.comps if isinstance(value,SemStateValue) else (None,value,false_clauses()) self.expr = expr self.label = label self.cached_update = None self.cached_pred = None
def __init__(self, domain = None, value = None, expr = None, label = None): """An abstract state. """ if value == None: value = top_state() if domain == None: domain = im.module self.in_scope = {} # symbols in scope in this state TODO: obsolete self.domain = domain # interpreter it belongs to (now this is the module) self.moded, self.clauses, self.precond = value if isinstance(value,tuple) else (None,value,false_clauses()) self.expr = expr self.label = label self.cached_update = None self.cached_pred = None