isReplaceable
gapt.grammars.InductionGrammar.isReplaceable
object isReplaceable extends ClosedUnderReplacement[InductionGrammar]
Attributes
- Source
- InductionGrammar.scala
- Graph
-
- Supertypes
- Self type
-
isReplaceable.type
Members list
In this article