Generated with

gapt/gapt/gapt.logic/gapt.logic.hol/scan/DerivationStep/PurifiedClauseDeletion

PurifiedClauseDeletion

gapt.logic.hol.scan.DerivationStep.PurifiedClauseDeletion

final case class PurifiedClauseDeletion(pointedClause: PointedClause)

Purified clause deletion step.

Value parameters

pointedClause: pointed clause to be deleted

Attributes

Source: scan.scala

Members list

Value members

Inherited methods

Applies the derivation step to a given clause set returning the resulting conclusion

Applies the derivation step to a given clause set returning the resulting conclusion

Value parameters

clauses: the premise of the derivation step

Attributes

Returns: the clause set resulting from applying the derivation step to the premise
Inherited from:: DerivationStep
Source: scan.scala

Attributes

Inherited from:: Product

Attributes

Inherited from:: Product

In this article

Generated with