metaSMT git
|
metaSMT API functions and classes More...
Modules | |
Comments API | |
Insert comments into the instance file. | |
Assertion Groups API | |
assertion groups. | |
Assertion Stack API | |
push and pop over assertions. |
metaSMT API functions and classes
APIs provide mechanisms to access native backend features or easy to use abstractions.