at
.
logic
.
gapt
.
provers
inductionProver
package
inductionProver
Content Hierarchy
Learn more about scaladoc diagrams
SolutionFinder
HeuristicSolutionFinder
Visibility
Public
All
Type Members
class
HeuristicSolutionFinder
extends
SolutionFinder
class
SimpleInductionProof
extends
AnyRef
Models a simple induction proof.
class
SipProver
extends
Prover
with
Logger
trait
SolutionFinder
extends
AnyRef
Value Members
object
FindFormulaH
extends
Logger
object
RunOnProofSequence
object
SimpleInductionProof
object
canonicalSolution
object
decodeSipGrammar
object
findConseq
extends
Logger
Ungrouped