package grammars
Content Hierarchy
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
- class EnumeratingInstanceGenerator extends InstanceTermGenerator
- case class InductionBUP(grammar: InductionGrammar, enc: InstanceTermEncoding, goal: Formula) extends Product with Serializable
- trait InstanceTermGenerator extends AnyRef
- class RandomInstanceGenerator extends InstanceTermGenerator
- class TreeGrammarInductionTactic extends Tactic[Unit]
- class TreeGrammarProver extends AnyRef
- 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
Value Members
- object DefaultProvers
- object TreeGrammarProverOptions extends Serializable
- object constructSIP
- object enumerateTerms
- object hSolveQBUP
- object randomInstance
This is the API documentation for GAPT.
The main package is at.logic.gapt.