de.uka.ilkd.key.speclang

Class WellDefinednessCheck.TermListAndFunc

java.lang.Object

de.uka.ilkd.key.speclang.WellDefinednessCheck.TermListAndFunc

Enclosing class:

WellDefinednessCheck

private static final class WellDefinednessCheck.TermListAndFunc
extends java.lang.Object

A static data structure for passing a term list with a function.

Author:

Michael Kirsten

Field Summary

Fields

Modifier and Type	Field and Description
private Function	func
private ImmutableList<Term>	terms

Constructor Summary

Constructors

Modifier	Constructor and Description
private	TermListAndFunc(ImmutableList<Term> ts, Function f)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

terms

private final ImmutableList<Term> terms

func

private final Function func

Constructor Detail

TermListAndFunc

private TermListAndFunc(ImmutableList<Term> ts,
                        Function f)