def __init__(self,
name=None,
abbr=None,
schema=None,
theories=None,
desc=None,
owner=None):
super(NonrecursiveRuleTheory, self).__init__(name=name,
abbr=abbr,
theories=theories,
schema=schema,
desc=desc,
owner=owner)
# dictionary from table name to list of rules with that table in head
self.rules = ruleset.RuleSet()
self.kind = base.NONRECURSIVE_POLICY_TYPE
if schema is None:
self.schema = compile.Schema()
def __init__(self,
name=None,
abbr=None,
schema=None,
theories=None,
desc=None,
owner=None):
super(Z3Theory,
self).__init__(name=name,
abbr=abbr,
theories=theories,
schema=ast.Schema() if schema is None else schema,
desc=desc,
owner=owner)
LOG.info('z3theory: create %s', name)
self.kind = base.Z3_POLICY_TYPE
self.rules = ruleset.RuleSet()
self.dirty = False
self.z3context = None
Z3Context.get_context().register(self)
def __init__(self,
name=None,
abbr=None,
schema=None,
theories=None,
desc=None,
owner=None):
super(NonrecursiveRuleTheory, self).__init__(name=name,
abbr=abbr,
theories=theories,
schema=schema,
desc=desc,
owner=owner)
# dictionary from table name to list of rules with that table in head
self.rules = ruleset.RuleSet()
self.kind = base.NONRECURSIVE_POLICY_TYPE
if schema is None:
self.schema = compile.Schema()
# Indicates that a rule was added/removed
# Used by the compiler to know if a theory should be recompiled.
self.dirty = False
def __init__(self, name, theories):
super(MinTheory, self).__init__(name=name, theories=theories)
self.rules = ruleset.RuleSet()
self.schema = ast.Schema()
def setUp(self):
super(TestRuleSet, self).setUp()
self.ruleset = ruleset.RuleSet()