CNF documentation (Bugzilla #36)

[mpreiner]

Imported from Bugzilla
Reporter: Dejan Jovanovic
Status: RESOLVED
Severity: enhancement
Assigned to: Dejan Jovanovic
Component: Documentation
Milestone: ---
Version: master
Platform: PC
OS: Linux

On 2010-02-22 11:49:14 -0800, Dejan Jovanovic wrote:

/home/dejan/eclipse-cxx/cvc4/src/prop/cnf_stream.h:118: Warning: argument 'whether' of command _@param is not found in the argument list of CVC4::prop::CnfStream::convertAndAssert(const Node &node)
/home/dejan/eclipse-cxx/cvc4/src/prop/cnf_stream.h:86: Warning: argument 'node' of command _@param is not found in the argument list of CVC4::prop::CnfStream::lookupInCache(const Node &n) const
/home/dejan/eclipse-cxx/cvc4/src/prop/cnf_stream.h:86: Warning: The following parameters of CVC4::prop::CnfStream::lookupInCache(const Node &n) const are not documented:
parameter 'n'
/home/dejan/eclipse-cxx/cvc4/src/prop/cnf_stream.h:86: Warning: argument 'node' of command _@param is not found in the argument list of CVC4::prop::CnfStream::lookupInCache(const Node &n) const
/home/dejan/eclipse-cxx/cvc4/src/prop/cnf_stream.h:86: Warning: The following parameters of CVC4::prop::CnfStream::lookupInCache(const Node &n) const are not documented:
parameter 'n'
/home/dejan/eclipse-cxx/cvc4/src/theory/uf/ecdata.h:67: Warning: The following parameters of CVC4::theory::ECData::addPredecessor(Node n, context::Context *context) are not documented:
parameter 'context'