Class List
- VeritasTop Level Namespace
- Optimizer < ObjectVeritas
- Aggregate < OptimizerVeritas::Optimizer
- Count < AggregateVeritas::Optimizer::Aggregate
- Maximum < AggregateVeritas::Optimizer::Aggregate
- Mean < AggregateVeritas::Optimizer::Aggregate
- Minimum < AggregateVeritas::Optimizer::Aggregate
- StandardDeviation < AggregateVeritas::Optimizer::Aggregate
- Sum < AggregateVeritas::Optimizer::Aggregate
- UnoptimizedOperand < AggregateVeritas::Optimizer::Aggregate
- Variance < AggregateVeritas::Optimizer::Aggregate
- AlgebraVeritas::Optimizer
- Difference < BinaryVeritas::Optimizer::Algebra
- EmptyLeft < DifferenceVeritas::Optimizer::Algebra::Difference
- EmptyRight < DifferenceVeritas::Optimizer::Algebra::Difference
- EqualOperands < DifferenceVeritas::Optimizer::Algebra::Difference
- Extension < UnaryVeritas::Optimizer::Algebra
- OrderOperand < ExtensionVeritas::Optimizer::Algebra::Extension
- UnoptimizedOperand < ExtensionVeritas::Optimizer::Algebra::Extension
- Intersection < BinaryVeritas::Optimizer::Algebra
- EmptyLeft < IntersectionVeritas::Optimizer::Algebra::Intersection
- EmptyRight < IntersectionVeritas::Optimizer::Algebra::Intersection
- EqualOperands < IntersectionVeritas::Optimizer::Algebra::Intersection
- Join < CombinationVeritas::Optimizer::Algebra
- DisjointHeaders < JoinVeritas::Optimizer::Algebra::Join
- EqualHeaders < JoinVeritas::Optimizer::Algebra::Join
- LeftMaterializedOperand < JoinVeritas::Optimizer::Algebra::Join
- RightMaterializedOperand < JoinVeritas::Optimizer::Algebra::Join
- Product < CombinationVeritas::Optimizer::Algebra
- TableDeeLeft < ProductVeritas::Optimizer::Algebra::Product
- TableDeeRight < ProductVeritas::Optimizer::Algebra::Product
- Projection < UnaryVeritas::Optimizer::Algebra
- EmptyOperand < ProjectionVeritas::Optimizer::Algebra::Projection
- OrderOperand < ProjectionVeritas::Optimizer::Algebra::Projection
- ProjectionOperand < ProjectionVeritas::Optimizer::Algebra::Projection
- UnionOperand < ProjectionVeritas::Optimizer::Algebra::Projection
- UnoptimizedOperand < ProjectionVeritas::Optimizer::Algebra::Projection
- Rename < UnaryVeritas::Optimizer::Algebra
- EmptyOperand < RenameVeritas::Optimizer::Algebra::Rename
- LimitOperand < RenameVeritas::Optimizer::Algebra::Rename
- OffsetOperand < RenameVeritas::Optimizer::Algebra::Rename
- OrderOperand < RenameVeritas::Optimizer::Algebra::Rename
- ProjectionOperand < RenameVeritas::Optimizer::Algebra::Rename
- RenameOperand < RenameVeritas::Optimizer::Algebra::Rename
- RenameOperandAndEmptyAliases < RenameOperandVeritas::Optimizer::Algebra::Rename
- RestrictionOperand < RenameVeritas::Optimizer::Algebra::Rename
- ReverseOperand < RenameVeritas::Optimizer::Algebra::Rename
- SetOperand < RenameVeritas::Optimizer::Algebra::Rename
- UnoptimizedOperand < RenameVeritas::Optimizer::Algebra::Rename
- Restriction < UnaryVeritas::Optimizer::Algebra
- CombinationOperand < RestrictionVeritas::Optimizer::Algebra::Restriction
- Contradiction < RestrictionVeritas::Optimizer::Algebra::Restriction
- JoinOperand < CombinationOperandVeritas::Optimizer::Algebra::Restriction
- OrderOperand < RestrictionVeritas::Optimizer::Algebra::Restriction
- ProductOperand < CombinationOperandVeritas::Optimizer::Algebra::Restriction
- RestrictionOperand < RestrictionVeritas::Optimizer::Algebra::Restriction
- SetOperand < RestrictionVeritas::Optimizer::Algebra::Restriction
- Tautology < RestrictionVeritas::Optimizer::Algebra::Restriction
- UnoptimizedOperand < RestrictionVeritas::Optimizer::Algebra::Restriction
- Summarization < UnaryVeritas::Optimizer::Algebra
- EmptyOperand < SummarizationVeritas::Optimizer::Algebra::Summarization
- EmptySummarizePer < SummarizationVeritas::Optimizer::Algebra::Summarization
- OrderOperand < SummarizationVeritas::Optimizer::Algebra::Summarization
- UnoptimizedOperand < SummarizationVeritas::Optimizer::Algebra::Summarization
- Union < BinaryVeritas::Optimizer::Algebra
- EmptyLeft < UnionVeritas::Optimizer::Algebra::Union
- EmptyRight < UnionVeritas::Optimizer::Algebra::Union
- EqualOperands < UnionVeritas::Optimizer::Algebra::Union
- FunctionVeritas::Optimizer
- BinaryVeritas::Optimizer::Function
- ConstantOperandsVeritas::Optimizer::Function::Binary
- UnoptimizedOperandsVeritas::Optimizer::Function::Binary
- ConnectiveVeritas::Optimizer::Function
- Binary < OptimizerVeritas::Optimizer::Function::Connective
- ConstantOperands < BinaryVeritas::Optimizer::Function::Connective::Binary
- EqualOperands < BinaryVeritas::Optimizer::Function::Connective::Binary
- RedundantLeftOperand < BinaryVeritas::Optimizer::Function::Connective::Binary
- RedundantRightOperand < BinaryVeritas::Optimizer::Function::Connective::Binary
- UnoptimizedOperands < BinaryVeritas::Optimizer::Function::Connective::Binary
- Conjunction < BinaryVeritas::Optimizer::Function::Connective
- Contradiction < ConjunctionVeritas::Optimizer::Function::Connective::Conjunction
- LeftOperandTautology < ConjunctionVeritas::Optimizer::Function::Connective::Conjunction
- OptimizableToExclusion < ConjunctionVeritas::Optimizer::Function::Connective::Conjunction
- RightOperandTautology < ConjunctionVeritas::Optimizer::Function::Connective::Conjunction
- Disjunction < BinaryVeritas::Optimizer::Function::Connective
- ContradictionLeftOperand < DisjunctionVeritas::Optimizer::Function::Connective::Disjunction
- ContradictionRightOperand < DisjunctionVeritas::Optimizer::Function::Connective::Disjunction
- OptimizableToInclusion < DisjunctionVeritas::Optimizer::Function::Connective::Disjunction
- Tautology < DisjunctionVeritas::Optimizer::Function::Connective::Disjunction
- Negation < OptimizerVeritas::Optimizer::Function::Connective
- ConstantOperand < NegationVeritas::Optimizer::Function::Connective::Negation
- InvertibleOperand < NegationVeritas::Optimizer::Function::Connective::Negation
- UnoptimizedOperand < NegationVeritas::Optimizer::Function::Connective::Negation
- Numeric < OptimizerVeritas::Optimizer::Function
- Absolute < NumericVeritas::Optimizer::Function::Numeric
- Addition < NumericVeritas::Optimizer::Function::Numeric
- ConstantOperand < NumericVeritas::Optimizer::Function::Numeric
- ConstantOperands < NumericVeritas::Optimizer::Function::Numeric
- Division < NumericVeritas::Optimizer::Function::Numeric
- Exponentiation < NumericVeritas::Optimizer::Function::Numeric
- Modulo < NumericVeritas::Optimizer::Function::Numeric
- Multiplication < NumericVeritas::Optimizer::Function::Numeric
- SquareRoot < NumericVeritas::Optimizer::Function::Numeric
- Subtraction < NumericVeritas::Optimizer::Function::Numeric
- UnaryMinus < NumericVeritas::Optimizer::Function::Numeric
- UnaryPlus < NumericVeritas::Optimizer::Function::Numeric
- UnoptimizedOperand < NumericVeritas::Optimizer::Function::Numeric
- UnoptimizedOperands < NumericVeritas::Optimizer::Function::Numeric
- Predicate < OptimizerVeritas::Optimizer::Function
- ComparableVeritas::Optimizer::Function::Predicate
- NeverComparableVeritas::Optimizer::Function::Predicate::Comparable
- NeverEquivalentVeritas::Optimizer::Function::Predicate::Comparable
- NormalizableOperands < PredicateVeritas::Optimizer::Function::Predicate::Comparable
- ConstantOperands < PredicateVeritas::Optimizer::Function::Predicate
- ContradictionVeritas::Optimizer::Function::Predicate
- EnumerableVeritas::Optimizer::Function::Predicate
- EmptyRightOperandVeritas::Optimizer::Function::Predicate::Enumerable
- OneRightOperandVeritas::Optimizer::Function::Predicate::Enumerable
- UnoptimizedOperands < UnoptimizedOperandsVeritas::Optimizer::Function::Predicate::Enumerable
- Equality < PredicateVeritas::Optimizer::Function::Predicate
- Contradiction < EqualityVeritas::Optimizer::Function::Predicate::Equality
- Tautology < EqualityVeritas::Optimizer::Function::Predicate::Equality
- Exclusion < PredicateVeritas::Optimizer::Function::Predicate
- EmptyRightOperand < ExclusionVeritas::Optimizer::Function::Predicate::Exclusion
- OneRightOperand < ExclusionVeritas::Optimizer::Function::Predicate::Exclusion
- GreaterThan < PredicateVeritas::Optimizer::Function::Predicate
- Contradiction < GreaterThanVeritas::Optimizer::Function::Predicate::GreaterThan
- Tautology < GreaterThanVeritas::Optimizer::Function::Predicate::GreaterThan
- GreaterThanOrEqualTo < PredicateVeritas::Optimizer::Function::Predicate
- Contradiction < GreaterThanOrEqualToVeritas::Optimizer::Function::Predicate::GreaterThanOrEqualTo
- Tautology < GreaterThanOrEqualToVeritas::Optimizer::Function::Predicate::GreaterThanOrEqualTo
- Inclusion < PredicateVeritas::Optimizer::Function::Predicate
- EmptyRightOperand < InclusionVeritas::Optimizer::Function::Predicate::Inclusion
- OneRightOperand < InclusionVeritas::Optimizer::Function::Predicate::Inclusion
- Inequality < PredicateVeritas::Optimizer::Function::Predicate
- Contradiction < InequalityVeritas::Optimizer::Function::Predicate::Inequality
- Tautology < InequalityVeritas::Optimizer::Function::Predicate::Inequality
- LessThan < PredicateVeritas::Optimizer::Function::Predicate
- Contradiction < LessThanVeritas::Optimizer::Function::Predicate::LessThan
- Tautology < LessThanVeritas::Optimizer::Function::Predicate::LessThan
- LessThanOrEqualTo < PredicateVeritas::Optimizer::Function::Predicate
- Contradiction < LessThanOrEqualToVeritas::Optimizer::Function::Predicate::LessThanOrEqualTo
- Tautology < LessThanOrEqualToVeritas::Optimizer::Function::Predicate::LessThanOrEqualTo
- Match < PredicateVeritas::Optimizer::Function::Predicate
- NoMatch < PredicateVeritas::Optimizer::Function::Predicate
- TautologyVeritas::Optimizer::Function::Predicate
- UnoptimizedOperands < PredicateVeritas::Optimizer::Function::Predicate
- StringVeritas::Optimizer::Function
- Length < OptimizerVeritas::Optimizer::Function::String
- ConstantOperand < LengthVeritas::Optimizer::Function::String::Length
- UnoptimizedOperand < LengthVeritas::Optimizer::Function::String::Length
- UnaryVeritas::Optimizer::Function
- ConstantOperandVeritas::Optimizer::Function::Unary
- UnoptimizedOperandVeritas::Optimizer::Function::Unary
- UtilVeritas::Optimizer::Function
- OptimizableVeritas::Optimizer
- ClassMethodsVeritas::Optimizer::Optimizable
- PredicatePartition < ObjectVeritas::Optimizer
- RelationVeritas::Optimizer
- Materialized < OptimizerVeritas::Optimizer::Relation
- EmptyOperand < MaterializedVeritas::Optimizer::Relation::Materialized
- OperationVeritas::Optimizer::Relation
- Binary < OptimizerVeritas::Optimizer::Relation::Operation
- EmptyLeftVeritas::Optimizer::Relation::Operation::Binary
- EmptyRightVeritas::Optimizer::Relation::Operation::Binary
- EqualOperandsVeritas::Optimizer::Relation::Operation::Binary
- LeftOrderOperand < BinaryVeritas::Optimizer::Relation::Operation::Binary
- MaterializedOperands < BinaryVeritas::Optimizer::Relation::Operation::Binary
- RightOrderOperand < BinaryVeritas::Optimizer::Relation::Operation::Binary
- UnoptimizedOperands < BinaryVeritas::Optimizer::Relation::Operation::Binary
- Combination < BinaryVeritas::Optimizer::Relation::Operation
- EmptyLeft < CombinationVeritas::Optimizer::Relation::Operation::Combination
- EmptyRight < CombinationVeritas::Optimizer::Relation::Operation::Combination
- Limit < UnaryVeritas::Optimizer::Relation::Operation
- EqualLimitOperand < LimitVeritas::Optimizer::Relation::Operation::Limit
- LimitOperand < LimitVeritas::Optimizer::Relation::Operation::Limit
- UnoptimizedOperand < LimitVeritas::Optimizer::Relation::Operation::Limit
- ZeroLimit < LimitVeritas::Optimizer::Relation::Operation::Limit
- Offset < UnaryVeritas::Optimizer::Relation::Operation
- OffsetOperand < OffsetVeritas::Optimizer::Relation::Operation::Offset
- UnoptimizedOperand < OffsetVeritas::Optimizer::Relation::Operation::Offset
- ZeroOffset < OffsetVeritas::Optimizer::Relation::Operation::Offset
- Order < UnaryVeritas::Optimizer::Relation::Operation
- OneLimitOperand < OrderVeritas::Optimizer::Relation::Operation::Order
- OrderOperand < OrderVeritas::Optimizer::Relation::Operation::Order
- UnoptimizedOperand < OrderVeritas::Optimizer::Relation::Operation::Order
- Reverse < OrderVeritas::Optimizer::Relation::Operation
- OrderOperand < ReverseVeritas::Optimizer::Relation::Operation::Reverse
- ReverseOperand < ReverseVeritas::Optimizer::Relation::Operation::Reverse
- UnoptimizedOperand < ReverseVeritas::Optimizer::Relation::Operation::Reverse
- Unary < OptimizerVeritas::Optimizer::Relation::Operation
- EmptyOperand < UnaryVeritas::Optimizer::Relation::Operation::Unary
- MaterializedOperand < UnaryVeritas::Optimizer::Relation::Operation::Unary
- OrderOperandVeritas::Optimizer::Relation::Operation::Unary
- UnchangedHeader < UnaryVeritas::Optimizer::Relation::Operation::Unary