Module: Gecode::Constraints::Bool::OperationMethods

Includes:

LeftHandSideMethods

Included in:

ExpressionNode, ExpressionTree

Defined in:

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

Overview

A module containing the methods for the basic boolean operations. Depends on that the class mixing it in defined #model.

Method Summary

Methods included from LeftHandSideMethods

#must, #must_not