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–2020 JBoss by Red Hat. All rights reserved.