KeY 2.6.3_7d3deab0763c88edee4f7a08e604661e0dbdd450

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.3_7d3deab0763c88edee4f7a08e604661e0dbdd450