CS-F214-Logic-Assignment
所属分类：C/C++基础
开发工具：HTML
文件大小：0KB
下载次数：0
上传日期：2023-11-26 17:03:51
上 传 者：
sh-1993
说明： 逻辑编程的C++实现
(C++ implementation of logic-programming)
文件列表:
.vscode/ (0, 2023-11-26)
.vscode/c_cpp_properties.json (474, 2023-11-26)
.vscode/settings.json (323, 2023-11-26)
Dox/ (0, 2023-11-26)
Dox/html/ (0, 2023-11-26)
Dox/html/Adarsh_8md.html (3913, 2023-11-26)
Dox/html/Comments_8md.html (3924, 2023-11-26)
Dox/html/PersonalComments_8md.html (3976, 2023-11-26)
Dox/html/Profiing_8md.html (3936, 2023-11-26)
Dox/html/Profiling_8md.html (3941, 2023-11-26)
Dox/html/annotated.html (5224, 2023-11-26)
Dox/html/annotated_dup.js (256, 2023-11-26)
Dox/html/basic.css (60049, 2023-11-26)
Dox/html/bc_s.png (676, 2023-11-26)
Dox/html/bdwn.png (147, 2023-11-26)
Dox/html/call_comparison.jpeg (105097, 2023-11-26)
Dox/html/classLogic-members.html (6850, 2023-11-26)
Dox/html/classLogic.html (22841, 2023-11-26)
Dox/html/classLogic.js (809, 2023-11-26)
Dox/html/classOperator-members.html (7054, 2023-11-26)
Dox/html/classOperator.html (24926, 2023-11-26)
Dox/html/classOperator.js (952, 2023-11-26)
Dox/html/classParseTree.html (4146, 2023-11-26)
Dox/html/classStack-members.html (5602, 2023-11-26)
Dox/html/classStack.html (14640, 2023-11-26)
Dox/html/classStack.js (475, 2023-11-26)
Dox/html/classTruthValStore-members.html (7539, 2023-11-26)
Dox/html/classTruthValStore.html (25460, 2023-11-26)
Dox/html/classTruthValStore.js (1114, 2023-11-26)
Dox/html/classes.html (5527, 2023-11-26)
Dox/html/closed.png (132, 2023-11-26)
Dox/html/dir_9d6a22fbe42cd0bfab057f3ec491d708.html (3964, 2023-11-26)
Dox/html/dir_b8a629b4a32964089411333772c68dab.html (3967, 2023-11-26)
Dox/html/doc.png (746, 2023-11-26)
Dox/html/doxygen.css (31103, 2023-11-26)
Dox/html/doxygen.png (3779, 2023-11-26)
Dox/html/dynsections.js (4086, 2023-11-26)
Dox/html/files.html (5278, 2023-11-26)
... ...
# Logic Assignment
This project implements a program that verifies whether a logical proof is syntactically and logically correct.
Introduction
---
How to run the program
---
- `./run_test` : Runs the test in `test.cpp`. Make sure to put `isDebugMode` in `helper.h` as `true`
- `./run_compilation` : Compiles and runs the program with `-Os -Ofast` flags. Make sure to put `isDebugMode` in `helper.h` as `false`
- `./run_profiling` : Runs a `gprof` profiling session and writes the output to `logic.output`. Make sure to put `isDebugMode` in `helper.h` as `false`
How to access the Docs
---
- Open `DOX`
- Open `html`
- Open `index.html` file
近期下载者：
相关文件：
收藏者：