//****************************************************************************************************
public SingleVar be(SingleVar b) {
return new IntVar(this.ToBool() == b.ToBool());
}
//****************************************************************************************************
public IntVar or(SingleVar b) {
return new IntVar(this.ToBool() || b.ToBool());
}
//****************************************************************************************************
public IntVar xor(SingleVar b) {
bool p = this.ToBool();
bool q = b.ToBool();
return new IntVar(((!p) && q) || (p && (!q)));
}
//****************************************************************************************************
public IntVar and(SingleVar b) {
return new IntVar(this.ToBool() && b.ToBool());
}