def Duper.forwardClauseSubsumption (subsumptionTrie : SubsumptionTrie) : MSimpRule

Returns true if there exists a clause that subsumes c, and returns false otherwise

Equations

• One or more equations did not get rendered due to their size.

def Duper.backwardClauseSubsumption (subsumptionTrie : SubsumptionTrie) : BackwardMSimpRule

Returns the list of clauses that givenSubsumingClause subsumes

Equations

• One or more equations did not get rendered due to their size.