| Class | Description |
|---|---|
| QualAnalysis<Q> |
Checkers should extend a QualAnalysis to customize the TransferFunction for their checker.
|
| QualStore<Q> |
QualStore is a
Store for quals. |
| QualTransfer<Q> |
A
TransferFunction for the Qual Framework. |
| QualTransferAdapter<Q> |
QualTransferAdapter adapts the
CFTransfer to a QualTransfer. |
| QualValue<Q> |
QualValue is an
AbstractValue for quals. |