I have a string and a class with a set of functions.
As for example, String is
String tr = "ctx.mkLt(ctx.mkIntConst(\"x\"),ctx.mkInt(100))";
And the class as Context ctx = new Context();
with methods as ctx.mkLt(arg 0, arg 1), ctx.mkIntConst(arg 0, arg 1)
and others.
I am not able to convert the string into callable methods of class ctx.
Is there a way to convert the string into the callable method of class as in the above case?