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
