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.