InutitionTC  0.30
Data Fields
Mabs Struct Reference

The representation of the abstraction (i.e. existential quantifier elimination) Term. More...

#include <checker.h>

Data Fields

Name name1
 
Typetype2
 
Name name3
 
Typetype4
 
Termterm5
 
Termterm6
 

Detailed Description

The representation of the abstraction (i.e. existential quantifier elimination) Term.


The documentation for this struct was generated from the following file: