metaSMT 2
Modules
API

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.



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