ida.pelab.prt.constraints
Classes 
ArrayIndexCheck
BoundaryCheck
Constraint
IFStructureCheck
IndexRuleCheck
LoopCheck
MemoryAccess
NameCheck
RuleCheck
TypeCheck
Enums 
MemoryAccessType
RuleCheckOperator
RuleParameterType