orchestrata_volks.verification.constraints
Reference › components › volks › orchestrata_volks › verification › constraints
Constraint definitions and evaluation.
Constraint definitions and evaluation for verification: definitions holds the constraint type definitions and helpers, and evaluator re-exports the evaluator.
3 modules, 51 lines of code.
Modules
| Module | Summary | LOC | Lifted from |
|---|---|---|---|
__init__ |
Constraint definitions and evaluation. | 1 | lifted from orchestrata_ultimate.verification.constraints |
definitions |
Constraint type definitions and helpers. | 46 | lifted from orchestrata_ultimate.verification.constraints.definitions |
evaluator |
4 | lifted from orchestrata_ultimate.verification.constraints.evaluator |
Dependency diagram
