de.uka.ilkd.key.rule.tacletbuilder

Class TacletGenerator.TermAndBoundVarPair

java.lang.Object

de.uka.ilkd.key.rule.tacletbuilder.TacletGenerator.TermAndBoundVarPair

Enclosing class:

TacletGenerator

private static class TacletGenerator.TermAndBoundVarPair
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
ImmutableSet<VariableSV>	boundVars
Term	term

Constructor Summary

Constructors

Constructor and Description
TermAndBoundVarPair(Term term, ImmutableSet<VariableSV> boundVars)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

term

public Term term

boundVars

public ImmutableSet<VariableSV> boundVars

Constructor Detail

TermAndBoundVarPair

public TermAndBoundVarPair(Term term,
                           ImmutableSet<VariableSV> boundVars)