- a -

• Abort() : xchaff_utils.h, xchaff_utils.cpp
• abs() : rational-gmp.cpp, cvclutil.h
• addFact() : theory_core.cpp
• addToVarDB() : theory_core.cpp
• andExpr() : expr.h
• arrayLiteral() : theory_array.h
• arrayType() : theory_array.h
• assertEqualities() : theory_core.cpp
• assertFact() : theory_core.cpp
• assertFactCore() : theory_core.cpp
• assertFormula() : theory_core.cpp
• assignValue() : theory_core.cpp

---