de.uni_freiburg.informatik.ultimate.logic

Class TermTransformer.BuildAnnotation

java.lang.Object

de.uni_freiburg.informatik.ultimate.logic.TermTransformer.BuildAnnotation

All Implemented Interfaces:

NonRecursive.Walker

Enclosing class:

TermTransformer

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

Collect the sub term and annotations of an annotated formula from the converted stack. It converts the annotation and stores the result in the cache and on the converted stack. Note that only Annotations that are of type Term or Term[] are converted.

Constructor Summary

Constructors

Constructor and Description
BuildAnnotation(AnnotatedTerm 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

BuildAnnotation

public BuildAnnotation(AnnotatedTerm 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