|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Derivation | |
---|---|
biz.hammurapi.rules |
Uses of Derivation in biz.hammurapi.rules |
---|
Methods in biz.hammurapi.rules with parameters of type Derivation | |
---|---|
void |
Conclusion.addDerivation(Derivation derivation)
Adds a derivation to conclusion. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |