equals
Checks whether this theory and other contain the same clauses, in the same order. If useVarCompleteName is true, variables are compared also by their (possibly generated) complete name, rather than only by their position within each clause.
Checks whether this theory and other contain the same clauses, in the same order. If useVarCompleteName is true, variables are compared also by their (possibly generated) complete name, rather than only by their position within each clause.