metaSMT git
Modules

API

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.



Detailed Description

metaSMT API functions and classes

APIs provide mechanisms to access native backend features or easy to use abstractions.

 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines