public static Exp And( params Exp[] exps )
// (a > 5 || a == 0) && b < 3 Exp.And( Exp.Or( Exp.GT(Exp.IntBin("a"), Exp.Val(5)), Exp.EQ(Exp.IntBin("a"), Exp.Val(0))), Exp.LT(Exp.IntBin("b"), Exp.Val(3)))
In This Article