Skip navigation links

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

Copyright © 2003-2019 The KeY-Project.