| BitwiseOr(ObjOrConstrKeyDefn, ConstraintExpr) | Combines the key and definition on the left hand side of the pipe operator with the constraint expression on the right hand side and returns the resulting single constraint without a forall expression. |
| BitwiseOr(ObjOrConstrKeyDefn, Direction) | Combines the key and definition on the left hand side of the pipe operator with the direction on the right hand side and returns resulting objective function builder. |
| BitwiseOr(ObjOrConstrKeyDefn, ForAllSets) | Combines the key and definition on the left hand side of the pipe operator with the forall sets expression on the right hand side, and returns resulting constraint builder. |
| BitwiseOr(ObjOrConstrKeyDefn, ObjectiveDirection) | Combines the key and definition on the left hand side of the pipe operator with the direction on the right hand side and returns resulting objective function builder. |