de.uka.ilkd.key.util.mergerule

Class MergeRuleUtils.CommonAndSpecificSubformulasResult

java.lang.Object

de.uka.ilkd.key.util.mergerule.MergeRuleUtils.CommonAndSpecificSubformulasResult

Enclosing class:

MergeRuleUtils

private static class MergeRuleUtils.CommonAndSpecificSubformulasResult
extends java.lang.Object

TODO

Author:

Dominic Scheurer

Field Summary

Fields

Modifier and Type	Field and Description
java.util.LinkedHashSet<Term>	common
java.util.LinkedHashSet<Term>	specific1
java.util.LinkedHashSet<Term>	specific2

Constructor Summary

Constructors

Constructor and Description
CommonAndSpecificSubformulasResult(java.util.LinkedHashSet<Term> specific1, java.util.LinkedHashSet<Term> specific2, java.util.LinkedHashSet<Term> common)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

specific1

public final java.util.LinkedHashSet<Term> specific1

specific2

public final java.util.LinkedHashSet<Term> specific2

common

public final java.util.LinkedHashSet<Term> common

Constructor Detail

CommonAndSpecificSubformulasResult

public CommonAndSpecificSubformulasResult(java.util.LinkedHashSet<Term> specific1,
                                          java.util.LinkedHashSet<Term> specific2,
                                          java.util.LinkedHashSet<Term> common)