Class: Axiom::Optimizer::Function::Connective::Conjunction

Inherits:

Binary

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

Defined in:

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

Overview

Abstract base class representing Conjunction optimizations

Direct Known Subclasses

Contradiction, OptimizableToExclusion, TautologyLeft, TautologyRight

Defined Under Namespace

Classes: Contradiction, OptimizableToExclusion, TautologyLeft, TautologyRight

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