Package | Description |
---|---|
de.uka.ilkd.key.control | |
de.uka.ilkd.key.core | |
de.uka.ilkd.key.macros | |
de.uka.ilkd.key.proof |
This package contains the core data structures of proofs, nodes, goals, as well
as machinery to deal with these data structures.
|
de.uka.ilkd.key.proof.rulefilter | |
de.uka.ilkd.key.strategy |
This package contains classes implementing the proof search strategies of KeY.
|
de.uka.ilkd.key.strategy.feature |
Class and Description |
---|
TacletFilter
Interface for filtering a list of TacletApps, for example to
choose only taclets for interactive application or taclets
belonging to some given heuristics.
|
Class and Description |
---|
TacletFilter
Interface for filtering a list of TacletApps, for example to
choose only taclets for interactive application or taclets
belonging to some given heuristics.
|
Class and Description |
---|
RuleFilter
Interface for objects that represent sets of rules, and which can be used
to distinguish different kinds of rules.
|
Class and Description |
---|
RuleFilter
Interface for objects that represent sets of rules, and which can be used
to distinguish different kinds of rules.
|
TacletFilter
Interface for filtering a list of TacletApps, for example to
choose only taclets for interactive application or taclets
belonging to some given heuristics.
|
Class and Description |
---|
RuleFilter
Interface for objects that represent sets of rules, and which can be used
to distinguish different kinds of rules.
|
TacletFilter
Interface for filtering a list of TacletApps, for example to
choose only taclets for interactive application or taclets
belonging to some given heuristics.
|
TacletFilterCloseGoal |
TacletFilterSplitGoal |
Class and Description |
---|
RuleFilter
Interface for objects that represent sets of rules, and which can be used
to distinguish different kinds of rules.
|
TacletFilter
Interface for filtering a list of TacletApps, for example to
choose only taclets for interactive application or taclets
belonging to some given heuristics.
|
Class and Description |
---|
RuleFilter
Interface for objects that represent sets of rules, and which can be used
to distinguish different kinds of rules.
|
Copyright © 2003-2019 The KeY-Project.