Class: Veritas::Optimizer::Function::Connective::Conjunction

Inherits:

Binary

• Object
• Veritas::Optimizer
• Binary
• Veritas::Optimizer::Function::Connective::Conjunction

Defined in:

lib/veritas/optimizer/function/connective/conjunction.rb

Overview

Abstract base class representing Conjunction optimizations

Direct Known Subclasses

Contradiction, LeftOperandTautology, OptimizableToExclusion, RightOperandTautology

Defined Under Namespace

Classes: Contradiction, LeftOperandTautology, OptimizableToExclusion, RightOperandTautology

Constant Summary

Constants inherited from Veritas::Optimizer

Noop, VERSION

Instance Attribute Summary

Attributes included from Binary

#left, #right

Attributes inherited from Veritas::Optimizer

#operation

Method Summary

Methods included from Binary

#initialize

Methods inherited from Veritas::Optimizer

chain, #initialize, #optimizable?, #optimize