Module magic_sets 

Magic-set rewriting for the deterministic language-completeness subset.

Structs

MagicSetReport

Human- and test-readable metadata for a magic-set rewrite attempt.

MagicSetRewrite

Rewritten program plus its report.

Enums

MagicSetStatus

Status of a magic-set rewrite attempt.

Functions

rewrite_magic_sets

Rewrite supported bound recursive queries with magic predicates.