Packages

package spin

Source
package.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. spin
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. case class Positions(rules: Set[ConditionalReductionRule], allPositions: Map[Const, Positions]) extends Product with Serializable
  2. case class SpinOptions(performGeneralization: Boolean = true, sampleTestTerms: Int = 5) extends Product with Serializable
  3. class SuperpositionInductionProver extends AnyRef

Value Members

  1. def isConstructor(c: Const)(implicit ctx: Context): Boolean
  2. def lambdaType(t: String): Boolean
  3. def negate(f: Formula): Formula
  4. def replaceExpr(f: Formula, x: Expr, e: Expr): Formula
  5. def resType(ty: Ty): Ty
  6. object Positions extends Serializable
  7. object SuperpositionInductionProver

Inherited from AnyRef

Inherited from Any

Ungrouped