private static class MergeRuleUtils.CommonAndSpecificSubformulasResult
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.util.LinkedHashSet<Term> |
common |
java.util.LinkedHashSet<Term> |
specific1 |
java.util.LinkedHashSet<Term> |
specific2 |
Constructor and Description |
---|
CommonAndSpecificSubformulasResult(java.util.LinkedHashSet<Term> specific1,
java.util.LinkedHashSet<Term> specific2,
java.util.LinkedHashSet<Term> common) |