Module: Gecode::Bool

Defined in:

lib/gecoder/interface/constraints/bool_var_constraints.rb,
lib/gecoder/interface/constraints/bool/linear.rb,
lib/gecoder/interface/constraints/bool/boolean.rb,
lib/gecoder/interface/constraints/bool/channel.rb

Overview

A module that deals with the operands, properties and constraints of boolean operands.

Defined Under Namespace

Modules: BoolLinearOperations, BoolOperand, Linear Classes: BoolConstraintReceiver, BooleanConstraint, ExpressionNode, ExpressionTree, ShortCircuitEqualityOperand