Package | Description |
---|---|
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.
|
Modifier and Type | Method and Description |
---|---|
BuiltInRuleAppIndex |
RuleAppIndex.builtInRuleAppIndex()
returns the built-in rule application index for this
ruleAppIndex.
|
BuiltInRuleAppIndex |
BuiltInRuleAppIndex.copy()
returns a copy of this index
|
Constructor and Description |
---|
RuleAppIndex(TacletAppIndex p_tacletAppIndex,
BuiltInRuleAppIndex p_builtInRuleAppIndex,
Services services) |
RuleAppIndex(TacletIndex p_tacletIndex,
BuiltInRuleAppIndex p_builtInRuleAppIndex,
Services services) |
Copyright © 2003-2019 The KeY-Project.