Class: Veritas::Optimizer::Function::Connective::Disjunction

Inherits:

Binary

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

Defined in:

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

Overview

Abstract base class representing Disjunction optimizations

Direct Known Subclasses

ContradictionLeftOperand, ContradictionRightOperand, OptimizableToInclusion, Tautology

Defined Under Namespace

Classes: ContradictionLeftOperand, ContradictionRightOperand, OptimizableToInclusion, Tautology

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