Skip navigation links
KeY 2.6.1_b7dc5338bd4d2c41d019616407d79ac6dec9efa4

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.1_b7dc5338bd4d2c41d019616407d79ac6dec9efa4