Method: Gecode::Bool::BoolOperand#implies

Defined in:

lib/gecoder/interface/constraints/bool/boolean.rb

#implies(bool_op) ⇒ Object

Produces a new BoolOperand representing that this operand implies bool_op.

Examples

# (+b1+ implies +b2+) and (+b3+ implies +b2+)
(b1.implies b2) & (b3.implies b2)

# File 'lib/gecoder/interface/constraints/bool/boolean.rb', line 40

def implies(bool_op)
  bool_expression_operation(:implies, bool_op)
end