TraversalProcess (JavaSMT Solver Library)

java.lang.Object
- org.sosy_lab.java_smt.api.visitors.TraversalProcess

```
public final class TraversalProcess
extends Object
```
Return class that lets the visitor guide the recursive formula traversal process started with FormulaManager.visitRecursively(org.sosy_lab.java_smt.api.Formula, org.sosy_lab.java_smt.api.visitors.FormulaVisitor<org.sosy_lab.java_smt.api.visitors.TraversalProcess>). or BooleanFormulaManager.visitRecursively(org.sosy_lab.java_smt.api.BooleanFormula, org.sosy_lab.java_smt.api.visitors.BooleanFormulaVisitor<org.sosy_lab.java_smt.api.visitors.TraversalProcess>).

Nested Class Summary

Nested Classes
Modifier and Type Class Description

static class TraversalProcess.TraversalType

Field Summary

Fields
Modifier and Type	Field	Description
`static TraversalProcess`	`ABORT`	Immediately abort traversal and return to caller.
`static TraversalProcess`	`CONTINUE`	Continue traversal and recurse into current formula subtree.
`static TraversalProcess`	`SKIP`	Continue traversal, but do not recurse into current formula subtree.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`contains(Formula f)`
`static TraversalProcess`	`custom(Iterable<? extends Formula> pToTraverse)`	Traverse only the given children.
`static TraversalProcess`	`custom(Formula pToTraverse)`	Traverse only the given child.
`TraversalProcess.TraversalType`	`getType()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - CONTINUE
```
public static final TraversalProcess CONTINUE
```
    Continue traversal and recurse into current formula subtree.
  - SKIP
```
public static final TraversalProcess SKIP
```
    Continue traversal, but do not recurse into current formula subtree.
  - ABORT
```
public static final TraversalProcess ABORT
```
    Immediately abort traversal and return to caller.
- Method Detail
  - custom
```
public static TraversalProcess custom(Iterable<? extends Formula> pToTraverse)
```
    Traverse only the given children.
    NOTE: given formulas which are not children of the given node will be ignored.
  - custom
```
public static TraversalProcess custom(Formula pToTraverse)
```
    Traverse only the given child.
    NOTE: any given which is not child of the given node will be ignored.
  - getType
```
public TraversalProcess.TraversalType getType()
```
  - contains
```
public boolean contains(Formula f)
```