congress.datalog.base module¶

class congress.datalog.base.EventQueue¶

Bases: object

dequeue()¶

enqueue(event)¶

class congress.datalog.base.Proof(root, children)¶

Bases: object

A single proof.

Differs semantically from Database’s Proof in that this version represents a proof that spans rules, instead of just a proof for a single rule.

leaves()¶

str_tree(depth)¶

class congress.datalog.base.StringTracer¶

Bases: congress.datalog.base.Tracer

get_value()¶

string_output(msg, *args)¶

class congress.datalog.base.Theory(name=None, abbr=None, schema=None, theories=None, id=None, desc=None, owner=None, kind=None)¶

Bases: object

actual_events(events)¶

Returns subset of EVENTS that are not noops.

arity(tablename, modal=None)¶

Return the number of columns for the given tablename.

TABLENAME is of the form <policy>:<table> or <table>. MODAL is the value of the modal operator.

content()¶

Return a list of the contents of this theory.

Maybe rules and/or data. Note: do not change name to CONTENTS, as this is reserved for a dictionary of stuff used by TopDownTheory.

content_string()¶

debug_mode()¶

get_attr_dict()¶

return dict containing the basic attributes of this theory

get_rule(ident)¶

get_tracer()¶

initialize_tables(tablenames, facts)¶

Event handler for (re)initializing a collection of tables. Clears tables befores assigning the new table content.

@facts must be an iterable containing compile.Fact objects.

log(table, msg, *args, **kwargs)¶

policy()¶

Return a list of the policy statements in this theory.

set_id(id)¶

set_tracer(tracer)¶

tablenames(body_only=False, include_builtin=False, include_modal=True, include_facts=False)¶

class congress.datalog.base.Tracer¶

Bases: object

is_traced(table)¶

log(table, msg, *args, **kwargs)¶

trace(table)¶