[klee-dev] structure definition in KLEE source code

[Georgiana Tache]

My question is very simple:
In file klee/lib/Expr/ExprBuilder.cpp , there are used some structures named AddExpr, SubExpr, MulExpr, UDivExpr, and so on... 
I was wondering where are these structures defined, clearly not inside Klee project.
I'd like to add similar structures but for floating point (FAddExpr, FSubExpr, ..) but I don't know what is the right place to define them.

Thank you! Looking forward to your answer!