Home
Pages
Classes
Methods
Parent
self
class Axiom::Optimizer::Function::Predicate::Equality::Contradiction
Optimize when the operand are a contradiction