|
InutitionTC
0.30
|
The representation of the case analysis (i.e. disjunction elimination) Term. More...
#include <checker.h>
Data Fields | |
| Term * | term |
| McasIn | casIn1 |
| McasIn | casIn2 |
The representation of the case analysis (i.e. disjunction elimination) Term.
1.8.10