Here is a list of all documented files with brief descriptions:
[detail level 12]
| ▼ c-code | |
| alloc.h | Allocation, creation and copying of basic structures; simple freeing operations |
| checker.h | Definitions of the base structures that represent the formulas and proofs |
| envmap_base.h | Operations on the data structure that represents environments |
| errorMessages.h | Implementation of procedures that handle printing of error messages |
| free.h | Complex freeing operations |
| gen_spec_checker.h | Basic proof-theoretic operations such as substitutions, alpha and beta equivalence |
| namemap.h | Operations on the data structure that represents dictionaries of names |
| printMessages.h | The pretty-printing procedures |
| typechecker.h | The core logic of the typechecker |
| vars_set.h | Finite sets with union operation |
| main.h | The main function, analysis of command line parameters and calling appropriate logic |
| parserHelpers.h | Functions that help making yacc file concise |