de.uka.ilkd.key.rule.match.vm

Class TermNavigator.MutablePair<Fst,Snd>

java.lang.Object

de.uka.ilkd.key.rule.match.vm.TermNavigator.MutablePair<Fst,Snd>

Type Parameters:

Fst - the type of the first component of the tuple

Snd - the type of the second component of the tuple

Enclosing class:

TermNavigator

private static class TermNavigator.MutablePair<Fst,Snd>
extends Object

A mutable tuple of two types

Field Summary

Fields

Modifier and Type	Field and Description
private Fst	first
private Snd	second

Constructor Summary

Constructors

Constructor and Description
MutablePair(Fst first, Snd second)

Method Summary

Modifier and Type	Method and Description
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

first

private Fst first

second

private Snd second

Constructor Detail

MutablePair

public MutablePair(Fst first,
                   Snd second)

Method Detail

toString

public String toString()

Overrides:

toString in class Object