orchestrata_volks.verification.requirements
Reference › components › volks › orchestrata_volks › verification › requirements
Requirements parsing and constraint extraction.
Requirements parsing and constraint extraction for verification. constraint_definitions (136 lines) holds predefined constraint specifications and templates; requirements_parser and prolog_generator are short re-exports of the modules of the same names in the parent package.
4 modules, 145 lines of code.
Modules
| Module | Summary | LOC | Lifted from |
|---|---|---|---|
__init__ |
Requirements parsing and constraint extraction. | 1 | lifted from orchestrata_ultimate.verification.requirements |
constraint_definitions |
Predefined constraint specifications and templates. | 136 | lifted from orchestrata_ultimate.verification.requirements.constraint_definitions |
prolog_generator |
4 | lifted from orchestrata_ultimate.verification.requirements.prolog_generator | |
requirements_parser |
4 | lifted from orchestrata_ultimate.verification.requirements.requirements_parser |
Dependency diagram
