|
InutitionTC
0.30
|
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 *) |
Complex freeing operations.
1.8.10