de.uni_freiburg.informatik.ultimate.logic

Class TermTransformer.BuildApplicationTerm

java.lang.Object

de.uni_freiburg.informatik.ultimate.logic.TermTransformer.BuildApplicationTerm

All Implemented Interfaces:

NonRecursive.Walker

Enclosing class:

TermTransformer

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

Collect the arguments of an application term from the converted stack and finish the conversion of appTerm. This is called after the arguments of appTerm have been converted. It will put the converted term on the converted stack and store it in the cache.

Constructor Summary

Constructors

Constructor and Description
BuildApplicationTerm(ApplicationTerm 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

BuildApplicationTerm

public BuildApplicationTerm(ApplicationTerm 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