-
- Downloads
Manage several queries resulting from a parse term whose principal type uses...
Manage several queries resulting from a parse term whose principal type uses several times the same (atomic-typed) constant
Showing
- src/acg-data/acg_lexicon.ml 87 additions, 49 deletionssrc/acg-data/acg_lexicon.ml
- src/acg-data/interface.ml 1 addition, 0 deletionssrc/acg-data/interface.ml
- src/acg-data/interface.mli 7 additions, 1 deletionsrc/acg-data/interface.mli
- src/acg-data/reduction.ml 1 addition, 1 deletionsrc/acg-data/reduction.ml
- src/acg-data/signature.ml 15 additions, 0 deletionssrc/acg-data/signature.ml
- src/datalog.prover/datalog.ml 50 additions, 48 deletionssrc/datalog.prover/datalog.ml
- src/datalog.prover/datalog.mli 3 additions, 3 deletionssrc/datalog.prover/datalog.mli
- src/datalog.prover/datalog_AbstractSyntax.ml 3 additions, 1 deletionsrc/datalog.prover/datalog_AbstractSyntax.ml
- src/datalog.prover/datalog_AbstractSyntax.mli 5 additions, 1 deletionsrc/datalog.prover/datalog_AbstractSyntax.mli
- src/logic/typeInference.ml 6 additions, 1 deletionsrc/logic/typeInference.ml
- src/logic/typeInference.mli 2 additions, 2 deletionssrc/logic/typeInference.mli
- src/utils/sharedForest.ml 5 additions, 9 deletionssrc/utils/sharedForest.ml
- src/utils/sharedForest.mli 1 addition, 0 deletionssrc/utils/sharedForest.mli
- src/utils/table.ml 15 additions, 2 deletionssrc/utils/table.ml
- src/utils/table.mli 5 additions, 0 deletionssrc/utils/table.mli
- src/utils/tries.ml 18 additions, 1 deletionsrc/utils/tries.ml
Loading
Please register or sign in to comment