Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
de.uka.ilkd.key.strategy.quantifierHeuristics |
Class and Description |
---|
ClausesGraph
This class describes the relation between different clauses in a CNF.
|
TriggersSet
This class is used to select and store
Trigger s
for a quantified formula in Prenex CNF(PCNF). |
Class and Description |
---|
Constraint
Deprecated.
|
Metavariable
Deprecated.
|
Substitution
This class decribes a substitution,which store a map(varMap) from quantifiable
variable to a term(instance).
|
Trigger |
Copyright © 2003-2019 The KeY-Project.