Packages

package grammars

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. class EnumeratingInstanceGenerator extends InstanceTermGenerator
  2. case class InductionBUP(grammar: InductionGrammar, enc: InstanceTermEncoding, goal: Formula) extends Product with Serializable
  3. trait InstanceTermGenerator extends AnyRef
  4. class RandomInstanceGenerator extends InstanceTermGenerator
  5. class TreeGrammarInductionTactic extends Tactical1[Unit]
  6. class TreeGrammarProver extends AnyRef
  7. case class TreeGrammarProverOptions(goalQuantifier: Int = 0, instanceNumber: Int = 10, instanceSize: FloatRange = ( 0, 2 ), instanceProver: Prover = DefaultProvers.firstOrder, smtSolver: Prover = DefaultProvers.smt, smtEquationMode: SmtEquationMode = AddNormalizedFormula, quantTys: Option[Seq[String]] = None, grammarWeighting: (Production) ⇒ Int = _ => 1, tautCheckNumber: Int = 10, tautCheckSize: FloatRange = ( 2, 3 ), canSolSize: FloatRange = ( 2, 4 ), maxSATSolver: MaxSATSolver = bestAvailableMaxSatSolver, equationalTheory: Seq[Formula] = Seq()) extends Product with Serializable

Ungrouped