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

### - u -

- uminusExpr() : CVC3::ValidityChecker
- unexpectedEOF() : CVC4::parser::Parser
- unimplementedFeature() : CVC4::parser::Parser
- UninterpretedConstant() : CVC4::UninterpretedConstant
- unnegate() : CVC3::Expr
- UnrecognizedOptionException() : CVC4::UnrecognizedOptionException
- unsignedDivTotal() : CVC4::BitVector
- unsignedLessThan() : CVC4::BitVector
- unsignedLessThanEq() : CVC4::BitVector
- unsignedRemTotal() : CVC4::BitVector
- useDeclarationsFrom() : CVC4::parser::Parser