Here is a list of all documented functions with links to the documentation:

- b -

• buildClauseNode() : FileUtility.cpp
• buildLiteralNode() : FileUtility.cpp
• buildParseTree() : Q2.cpp
• buildParseTreeFromClauses() : FileUtility.cpp
• buildParseTreeFromFile() : FileUtility.cpp

- c -

• cloneNode() : Q6.cpp
• CNF() : Q6.cpp
• cnfFileToInfix() : FileUtility.cpp
• collectLiterals() : Q7.cpp
• countClauses() : Q7.cpp
• createVarMap() : FileUtility.cpp

- d -

• deleteTree() : Q2.cpp
• DISTR() : Q6.cpp

- e -

• evaluate() : Q5.cpp
• evaluateTruthValue() : Q5.cpp

- g -

• getNegationChild() : Q6.cpp
• getNextToken() : Q1.cpp
• getParseTreeHeight() : Q4.cpp

- i -

• IMPL_FREE() : Q6.cpp
• infixToPrefix() : Q1.cpp
• isBinaryOperator() : Q2.cpp
• isClause() : Q7.cpp
• isCNF() : Q7.cpp
• isLiteral() : Q7.cpp
• isOperator() : Q1.cpp
• isSatisfiableClause() : Q7.cpp
• isUnaryOperator() : Q2.cpp

- n -

• NNF() : Q6.cpp

- p -

• printInfix() : Q3.cpp
• printTruthTable() : Q5.cpp
• priority_order() : Q1.cpp

- r -

• readCNFFile() : FileUtility.cpp

- t -

• toCNF() : Q6.cpp