InutitionTC  0.30
Data Fields
Mcas Struct Reference

The representation of the case analysis (i.e. disjunction elimination) Term. More...

#include <checker.h>

Data Fields

Termterm
 
McasIn casIn1
 
McasIn casIn2
 

Detailed Description

The representation of the case analysis (i.e. disjunction elimination) Term.


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