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.

rewrite_magic_sets_owned

rewrite_magic_sets taking the program by value: when magic sets are off (the default) the program is returned as is, without a clone.