Home
Pages
Classes
Methods
Parent
self
class Axiom::Optimizer::Function::Predicate::Inequality::Tautology
Optimize when the operand are a tautology