Class: Axiom::Optimizer::Function::Connective::Disjunction

Inherits:

Binary

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

Defined in:

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

Overview

Abstract base class representing Disjunction optimizations

Direct Known Subclasses

ContradictionLeft, ContradictionRight, OptimizableToInclusion, Tautology

Defined Under Namespace

Classes: ContradictionLeft, ContradictionRight, OptimizableToInclusion, Tautology

Constant Summary

Constants inherited from Axiom::Optimizer

Identity, VERSION

Instance Attribute Summary

Attributes included from Binary

#left, #right

Attributes inherited from Axiom::Optimizer

#operation

Method Summary

Methods included from Binary

#initialize

Methods inherited from Axiom::Optimizer

chain, #initialize, #optimizable?, #optimize