data class Contradiction: Equation A contradicting equation, trying to equate non equal Terms Fields Name Description val isContradiction: Boolean val lhs: Term The left-hand side of the equation val rhs: Term The right-hand side of the equation Constructors <init> constructor(lhs: Term, rhs: Term) A contradicting equation, trying to equate non equal Terms Parameters Name Description lhs: Term rhs: Term Methods asContradiction fun asContradiction(): Contradiction ReturnValue Name Description Contradiction
A contradicting equation, trying to equate non equal Terms