Class: Axiom::Optimizer::Function::Predicate
- Inherits:
-
Axiom::Optimizer
- Object
- Axiom::Optimizer
- Axiom::Optimizer::Function::Predicate
- Includes:
- AbstractType, Binary
- Defined in:
- lib/axiom/optimizer/function/predicate.rb,
lib/axiom/optimizer/function/predicate/match.rb,
lib/axiom/optimizer/function/predicate/equality.rb,
lib/axiom/optimizer/function/predicate/no_match.rb,
lib/axiom/optimizer/function/predicate/exclusion.rb,
lib/axiom/optimizer/function/predicate/inclusion.rb,
lib/axiom/optimizer/function/predicate/less_than.rb,
lib/axiom/optimizer/function/predicate/comparable.rb,
lib/axiom/optimizer/function/predicate/enumerable.rb,
lib/axiom/optimizer/function/predicate/inequality.rb,
lib/axiom/optimizer/function/predicate/greater_than.rb,
lib/axiom/optimizer/function/predicate/less_than_or_equal_to.rb,
lib/axiom/optimizer/function/predicate/greater_than_or_equal_to.rb
Overview
Abstract base class representing Predicate optimizations
Direct Known Subclasses
Comparable::NormalizableOperands, ConstantOperands, Equality, Exclusion, GreaterThan, GreaterThanOrEqualTo, Inclusion, Inequality, LessThan, LessThanOrEqualTo, Match, NoMatch, UnoptimizedOperands
Defined Under Namespace
Modules: Comparable, Contradiction, Enumerable, Tautology Classes: ConstantOperands, Equality, Exclusion, GreaterThan, GreaterThanOrEqualTo, Inclusion, Inequality, LessThan, LessThanOrEqualTo, Match, NoMatch, UnoptimizedOperands