Crate mangle_analysis 

Structs

SimpleProgram

An implementation of the Program trait.

SimpleStratifiedProgram

An implementation of the StratifiedProgram trait. This can be obtained through SimpleProgram::stratify.

Traits

Program

Represents a program. extensional_preds and intensional_preds are disjoint.

StratifiedProgram