Class ExpectedFormulaVisitor<R>
- java.lang.Object
-
- org.sosy_lab.java_smt.api.visitors.DefaultFormulaVisitor<R>
-
- org.sosy_lab.java_smt.api.visitors.ExpectedFormulaVisitor<R>
-
- All Implemented Interfaces:
FormulaVisitor<R>
public abstract class ExpectedFormulaVisitor<R> extends DefaultFormulaVisitor<R>
LikeDefaultFormulaVisitor
, but throwsUnsupportedOperationException
on unexpected formula types.
-
-
Constructor Summary
Constructors Constructor Description ExpectedFormulaVisitor()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected R
visitDefault(Formula f)
Method for default case, is called by all methods from this class if they are not overridden.-
Methods inherited from class org.sosy_lab.java_smt.api.visitors.DefaultFormulaVisitor
visitBoundVariable, visitConstant, visitFreeVariable, visitFunction, visitQuantifier
-
-
-
-
Method Detail
-
visitDefault
protected final R visitDefault(Formula f)
Description copied from class:DefaultFormulaVisitor
Method for default case, is called by all methods from this class if they are not overridden.- Specified by:
visitDefault
in classDefaultFormulaVisitor<R>
- Parameters:
f
- Formula for the currently visited node.- Returns:
- An arbitrary value, will be passed through to the caller.
-
-