addLit(unsigned int, bool, unsigned int, unsigned int) | cnf::Formula | |
addLit(unsigned int, bool, unsigned int, unsigned int, unsigned int) | cnf::Formula | |
addLitCode(int) | cnf::Formula | |
bufferClause | cnf::Formula | [private] |
cnfs | cnf::Formula | [private] |
flushCNF() | cnf::Formula | |
Formula(VariableSet *, std::ostream *, std::string) | cnf::Formula | |
newClause() | cnf::Formula | |
output | cnf::Formula | [private] |
pushClause() | cnf::Formula | |
varSet | cnf::Formula | [private] |
~Formula() | cnf::Formula |