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
An iterator over the names of all the elements of this product.
An iterator over the names of all the elements of this product.
Attributes
- Inherited from:
- Product
- Source
- Product.scala
An iterator over all the elements of this product.
An iterator over all the elements of this product.
Attributes
- Returns
-
in the default implementation, an
Iterator[Any] - Inherited from:
- Product
- Source
- Product.scala
In this article