public interface FlatForallVisitor<R>
extends net.sourceforge.czt.util.Visitor<R>
Modifier and Type | Method and Description |
---|---|
R |
visitFlatForall(FlatForall term)
Visits a FlatForall
|
R visitFlatForall(FlatForall term)
term
- the FlatForall to be visited.Object
.Copyright © 2003–2016 Community Z Tools Project. All rights reserved.