Package | Description |
---|---|
de.uka.ilkd.key.strategy |
This package contains classes implementing the proof search strategies of KeY.
|
de.uka.ilkd.key.strategy.feature | |
de.uka.ilkd.key.strategy.feature.instantiator | |
de.uka.ilkd.key.strategy.quantifierHeuristics | |
de.uka.ilkd.key.strategy.termgenerator | |
de.uka.ilkd.key.symbolic_execution.strategy |
Class and Description |
---|
TermGenerator
Interface for objects that generate lists/sequences of terms or formulas.
|
Class and Description |
---|
TermGenerator
Interface for objects that generate lists/sequences of terms or formulas.
|
Class and Description |
---|
TermGenerator
Interface for objects that generate lists/sequences of terms or formulas.
|
Class and Description |
---|
TermGenerator
Interface for objects that generate lists/sequences of terms or formulas.
|
Class and Description |
---|
SequentFormulasGenerator
Term generator that enumerates the formulas of the current
sequent/antecedent/succedent.
|
TermGenerator
Interface for objects that generate lists/sequences of terms or formulas.
|
Class and Description |
---|
TermGenerator
Interface for objects that generate lists/sequences of terms or formulas.
|
Copyright © 2003-2019 The KeY-Project.