[klee-dev] where is the class for "EqExpr" located

[Sumit Kumar]

Thank you Andrew and Heinrich for pointing me in the right direction. In
the macro there is a "create" method declared, but I am unable to find the
definition of that method. Can you please tell me where it is defined i.e
where is the method EqExpr::create(...) defined.

--
Thanks and Regards,
Sumit

On 24 March 2016 at 06:48, Andrew Santosa <santosa_1999 at yahoo.com> wrote:

> Hi Sumit,
>
> It's declared in include/klee/Expr.h using macro COMPARISON_EXPR_CLASS.
> Note that below the definition of that macro there is a line that says
>
> COMPARISON_EXPR_CLASS(Eq)
>
> Which actually declares EqExpr.
>
> Best,
> Andrew
>
>
> On Thursday, 24 March 2016, 4:18, Sumit Kumar <sumit686215 at gmail.com>
> wrote:
>
>
> Hi,
> Can anyone please tell me where is the class for "EqExpr" located. I tried
> to find it using grep but could not find it anywhere. I could not find it
> in class Expr.h as well.
>
> --
> Thanks and Regards,
> Sumit
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
>
>
-------------- next part --------------
HTML attachment scrubbed and removed