de.uka.ilkd.key.util.joinrule

Class JoinRuleUtils.TermWrapperFactory

java.lang.Object

de.uka.ilkd.key.util.joinrule.JoinRuleUtils.TermWrapperFactory

Enclosing class:

JoinRuleUtils

static class JoinRuleUtils.TermWrapperFactory
extends Object

Creates JoinRuleUtils.TermWrapper objects, thereby ensuring that equal term wrappers also have equal hash codes.

Author:

Dominic Scheurer

Field Summary

Fields

Modifier and Type	Field and Description
private ArrayList<Term>	wrappedTerms

Constructor Summary

Constructors

Constructor and Description
TermWrapperFactory()

Method Summary

Modifier and Type	Method and Description
JoinRuleUtils.TermWrapper	wrapTerm(Term term)

Methods inherited from class java.lang.Object

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

Field Detail

wrappedTerms

private ArrayList<Term> wrappedTerms

Constructor Detail

TermWrapperFactory

TermWrapperFactory()

Method Detail

wrapTerm

public JoinRuleUtils.TermWrapper wrapTerm(Term term)