at
.
logic
.
gapt
.
provers
inductionProver
package
inductionProver
Content Hierarchy
SolutionFinder
HeuristicSolutionFinder
Visibility
Public
All
Type Members
class
HeuristicSolutionFinder
extends
SolutionFinder
class
SimpleInductionProof
extends
AnyRef
Models a simple induction proof.
class
SipProver
extends
OneShotProver
with
Logger
trait
SolutionFinder
extends
AnyRef
Value Members
object
FindFormulaH
extends
Logger
object
RunOnProofSequence
object
SimpleInductionProof
object
Viper
object
canonicalSolution
object
decodeSipGrammar
object
findConseq
extends
Logger
object
hSolveQBUP
object
qbupForRecSchem
object
randomInstance
object
simplePi1RecSchemTempl
Ungrouped