metaSMT 2
|
metaSMT API functions and classes More...
Modules | |
Assertion | |
Assertion API. | |
Assumption | |
Assumption API, one-time Assertions. | |
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.