Structs§
- Simple
Program - An implementation of the
Program
trait. - Simple
Stratified Program - An implementation of the
StratifiedProgram
trait. This can be obtained through SimpleProgram::stratify.
Traits§
- Program
- Represents a program.
extensional_preds
andintensional_preds
are disjoint. - Stratified
Program