PurifiedClauseDeletion
gapt.logic.hol.scan.DerivationStep.PurifiedClauseDeletion
Purified clause deletion step.
Value parameters
- pointedClause
-
pointed clause to be deleted
Attributes
- Source
- scan.scala
Members list
Value members
Inherited methods
Attributes
- Inherited from:
- DerivationStep
- Source
- scan.scala
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