Match Theorems

Implements theorem matching functions for the Deductive Database (DD).

class Matcher(dep_graph, runtime_cache_path, rng)

Bases: object

update(runtime_cache_path=None)

cache_theorem(theorem)

match_theorem(theorem)

Return type:

Generator[Dependency, None, None]