Skip navigation links
KeY 2.6.0_3b928241d3c6497f2bf3626bad48a3118b304db1

Package de.uka.ilkd.key.rule

This package contains classes for implementing rules.

See: Description

Package de.uka.ilkd.key.rule Description

This package contains classes for implementing rules. Most rules are taclet rules, represented by Taclet. The package includes the representation of applications of taclets (TacletApp) and the builders of taclets (de.uka.ilkd.key.rule.TacletBuilder). Besides taclets, there are built-in rules implemented directly in Java.
Skip navigation links
KeY 2.6.0_3b928241d3c6497f2bf3626bad48a3118b304db1