// invoke method "name" and returns a IlcIntExpr
// using java reflect
private IlcIntExpr invokeIlcIntExpr(String name,Object[] args) {
IlcIntExpr exp = null;
try {
Class sc = Class.forName("ilog.rules.validation.solver.Ilc" +
"Solver");
Class intExp = Class.forName("ilog.rules.validation.solver.IlcIntExpr");
Class[] param = {intExp,intExp};