def insert(self, rule):
changes = self.update([Event(formula=rule, insert=True)])
return [event.formula for event in changes]
def delete(self, atom, proofs=None):
"""Deletes ATOM from the DB. Returns changes."""
return self.modify(Event(formula=atom, insert=False, proofs=proofs))
def define(self, rules):
"""Empties and then inserts RULES."""
self.empty()
return self.update(
[Event(formula=rule, insert=True) for rule in rules])
def insert(self, atom, proofs=None):
"""Inserts ATOM into the DB. Returns changes."""
return self.modify(Event(formula=atom, insert=True, proofs=proofs))
def delete_obj(self, formula, theory_string):
return self.update_obj([Event(formula=formula, insert=False,
target=theory_string)])
def delete_string(self, policy_string, theory_string):
policy = self.parse(policy_string)
return self.update_obj(
[Event(formula=x, insert=False, target=theory_string)
for x in policy])
def insert_obj(self, formula, theory_string):
return self.update_obj([Event(formula=formula, insert=True,
target=theory_string)])
def delete(self, rule):
changes = self.update([Event(formula=rule, insert=False)])
return [event.formula for event in changes]