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 |