String msg = "Failure to convert constraint "+getName() + " to VarBool. Not implemented.";
p.log(msg);
throw new RuntimeException(msg);
}
Var var = new javax.constraints.impl.Var(p,exp);
javax.constraints.VarBool varBool = p.variableBool(getName());
p.post(varBool, "=", var).post();
return varBool;
}