gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.grammars/findMinimalInductionGrammar

findMinimalInductionGrammar

gapt.grammars.findMinimalInductionGrammar
object findMinimalInductionGrammar

Attributes

Source
InductionGrammar.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def apply(indexedTermset: Map[Expr, Set[Expr]], gamma: NonTerminalVect)(implicit ctx: Context): Option[InductionGrammar]

Attributes

Source
InductionGrammar.scala
def apply(indexedTermset: Map[Expr, Set[Expr]], tau: Var, alpha: Var, nus: Map[Const, NonTerminalVect], gamma: NonTerminalVect): Option[InductionGrammar]

Attributes

Source
InductionGrammar.scala
def apply(indexedTermset: Map[Expr, Set[Expr]], gamma: NonTerminalVect, solver: MaxSATSolver)(implicit ctx: Context): Option[InductionGrammar]

Attributes

Source
InductionGrammar.scala
def apply(indexedTermset: Map[Expr, Set[Expr]], tau: Var, alpha: Var, nus: Map[Const, NonTerminalVect], gamma: NonTerminalVect, solver: MaxSATSolver): Option[InductionGrammar]

Attributes

Source
InductionGrammar.scala
def apply(indexedTermset: Map[Expr, Set[Expr]], tau: Var, alpha: Var, nus: Map[Const, NonTerminalVect], gamma: NonTerminalVect, solver: MaxSATSolver, weighting: Production => Int): Option[InductionGrammar]

Attributes

Source
InductionGrammar.scala
Generated with