Module program

Module program 

Source
Expand description

Bytecode-style programs for predicate evaluation and domain analysis.

Structs§

DomainProgram
OwnedFilter
ProgramCompiler
ProgramSet

Enums§

DomainOp
EvalOp
OwnedOperator

Functions§

normalize_predicate

Type Aliases§

DomainProgramId