KeY 2.6.2_00c1abfd22b738afe24e89fecc2ee4eec2c38f4a

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.
KeY 2.6.2_00c1abfd22b738afe24e89fecc2ee4eec2c38f4a