de.uni_freiburg.informatik.ultimate.logic

Class TermTransformer.StartLetTerm

java.lang.Object

de.uni_freiburg.informatik.ultimate.logic.TermTransformer.StartLetTerm

All Implemented Interfaces:

NonRecursive.Walker

Enclosing class:

TermTransformer

protected static class TermTransformer.StartLetTerm
extends java.lang.Object
implements NonRecursive.Walker

Walker that is called after the variable values are transformed and before the let body starts.

Constructor Summary

Constructors

Constructor and Description
StartLetTerm(LetTerm term)

Method Summary

Modifier and Type	Method and Description
java.lang.String	toString()
void	walk(NonRecursive engine) Do one step of the recursive algorithm.

Methods inherited from class java.lang.Object

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

Constructor Detail

StartLetTerm

public StartLetTerm(LetTerm term)

Method Detail

walk

public void walk(NonRecursive engine)

Description copied from interface: NonRecursive.Walker

Do one step of the recursive algorithm. This may enqueue new walkers that do the remaining steps.

Specified by:

walk in interface NonRecursive.Walker

Parameters:

engine - The non recursive engine where new walkers can be enqueued.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object