Represents a binary logical AND operation between two Fact instances, enforcing that the left-hand side Fact instance is yes. This is a factory object used to create Binary_&& instances.
Creates a new Binary_&& instance with the specified left and right Fact instances and an optional clue, enforcing that the left-hand side Fact instance is yes.
Creates a new Binary_&& instance with the specified left and right Fact instances and an optional clue, enforcing that the left-hand side Fact instance is yes.
Value parameters
left
The left-hand side Fact instance of the AND operation. It must be a yes fact.
messageFun
An optional message function to modify the messages.
right
The right-hand side Fact instance of the AND operation.
Attributes
Returns
A new Binary_&& instance representing the logical AND operation of the two Fact instances.