public class Subsumption extends Object
| Modifier and Type | Field and Description |
|---|---|
int |
includedRule |
int |
rule |
| Constructor and Description |
|---|
Subsumption(int rule,
int includedRule) |
Copyright © 2001–2019 JBoss by Red Hat. All rights reserved.