package spin
- Source
- package.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- spin
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
- case class Positions(rules: Set[ConditionalReductionRule], allPositions: Map[Const, Positions]) extends Product with Serializable
- case class SpinOptions(performGeneralization: Boolean = true, sampleTestTerms: Int = 5) extends Product with Serializable
- class SuperpositionInductionProver extends AnyRef
This is the API documentation for GAPT.
The main package is gapt.