InutitionTC  0.30
Functions
free.h File Reference

Complex freeing operations. More...

#include "checker.h"

Go to the source code of this file.

Functions

void freeKindDeep (Kind *)
 
void freeKStarDeep (Kstar)
 
void freeKpiDeep (Kpi)
 
void freeTypeDeep (Type *)
 
void freeVarParts (Tvar)
 
void freeAllParts (Tall)
 
void freeAppParts (Tapp)
 
void freeExiParts (Texi)
 
void freeAndParts (Tand)
 
void freeOrParts (Tor)
 
void freeBotParts (Tbot)
 
void freeTermDeep (Term *)
 
void freeMVarParts (Mvar t)
 
void freeMAppParts (Mapp t)
 
void freeMLamParts (Mlam t)
 
void freeMWitParts (Mwit t)
 
void freeMAbsParts (Mabs t)
 
void freeMTupParts (Mtup t)
 
void freeMPi1Parts (Mpi1 t)
 
void freeMPi2Parts (Mpi2 t)
 
void freeMIn1Parts (Min1 t)
 
void freeMIn2Parts (Min2 t)
 
void freeCasInParts (McasIn t)
 
void freeMCasParts (Mcas t)
 
void freeMEpsParts (Meps t)
 
void freeAnyDeep (Any *)
 
void freeAnyBindParts (Bind b)
 
void freeNameDeep (Name *)
 

Detailed Description

Complex freeing operations.

Author
Aleksy Schubert
Maciej Zielenkiewicz