public boolean isLinear(){
return _exp.isLinear();
}
public IntBoolExp toIntBoolExp(){
ExpressionFactory factory = constrainer().expressionFactory();
Class clazz = IntBoolExpEqValue.class;
Object[] args = new Object[]{_exp, new Integer(_value)};
Class[] types = new Class[]{IntExp.class, int.class};
return (IntBoolExpEqValue) factory.getExpression(clazz, args, types);
}