Class TraversalProcess
- 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 withFormulaManager.visitRecursively(org.sosy_lab.java_smt.api.Formula, org.sosy_lab.java_smt.api.visitors.FormulaVisitor<org.sosy_lab.java_smt.api.visitors.TraversalProcess>)
. orBooleanFormulaManager.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()
-
-
-
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)
-
-