de.uni_freiburg.informatik.ultimate.logic

Class TermTransformer.BuildLetTerm

java.lang.Object

de.uni_freiburg.informatik.ultimate.logic.TermTransformer.BuildLetTerm

All Implemented Interfaces:

NonRecursive.Walker

Enclosing class:

TermTransformer

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

Collect the sub term and the values of a let term from the converted stack and finish the conversion of let term.

Constructor Summary

Constructors

Constructor and Description
BuildLetTerm(LetTerm term, Term[] newValues)

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

BuildLetTerm

public BuildLetTerm(LetTerm term,
                    Term[] newValues)

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