Here is a list of all functions with links to the structures/unions they belong to:

### - n -

- negate() : CVC3::Expr
- newBVAndExpr() : CVC3::ValidityChecker
- newBVASHR() : CVC3::ValidityChecker
- newBVCompExpr() : CVC3::ValidityChecker
- newBVConstExpr() : CVC3::ValidityChecker
- newBVExtractExpr() : CVC3::ValidityChecker
- newBVLEExpr() : CVC3::ValidityChecker
- newBVLSHR() : CVC3::ValidityChecker
- newBVLTExpr() : CVC3::ValidityChecker
- newBVMultExpr() : CVC3::ValidityChecker
- newBVNandExpr() : CVC3::ValidityChecker
- newBVNegExpr() : CVC3::ValidityChecker
- newBVNorExpr() : CVC3::ValidityChecker
- newBVOrExpr() : CVC3::ValidityChecker
- newBVPlusExpr() : CVC3::ValidityChecker
- newBVSDivExpr() : CVC3::ValidityChecker
- newBVSHL() : CVC3::ValidityChecker
- newBVSLEExpr() : CVC3::ValidityChecker
- newBVSLTExpr() : CVC3::ValidityChecker
- newBVSModExpr() : CVC3::ValidityChecker
- newBVSRemExpr() : CVC3::ValidityChecker
- newBVSubExpr() : CVC3::ValidityChecker
- newBVUDivExpr() : CVC3::ValidityChecker
- newBVUminusExpr() : CVC3::ValidityChecker
- newBVURemExpr() : CVC3::ValidityChecker
- newBVXnorExpr() : CVC3::ValidityChecker
- newBVXorExpr() : CVC3::ValidityChecker
- newConcatExpr() : CVC3::ValidityChecker
- newFileInput() : CVC4::parser::Input
- newFixedConstWidthLeftShiftExpr() : CVC3::ValidityChecker
- newFixedLeftShiftExpr() : CVC3::ValidityChecker
- newFixedRightShiftExpr() : CVC3::ValidityChecker
- newStreamInput() : CVC4::parser::Input
- newStringInput() : CVC4::parser::Input
- newSXExpr() : CVC3::ValidityChecker
- nextCommand() : CVC4::parser::Parser
- nextExpr() : CVC4::ExprStream, CVC4::parser::Parser::ExprStream
- nextExpression() : CVC4::parser::Parser
- notExpr() : CVC3::Expr, CVC3::ValidityChecker, CVC4::Expr
- notifyNewLemma() : CVC4::LemmaOutputChannel