Package org.jacop.fz
Class ASTPrint
- java.lang.Object
-
- org.jacop.fz.ASTPrint
-
public class ASTPrint extends java.lang.Object
ASTPrint.javaPrinitng of AST nodes generated bt jjtree
-
-
Field Summary
Fields Modifier and Type Field Description private int
indent
-
Constructor Summary
Constructors Constructor Description ASTPrint()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description private void
dfs_visit(Node node)
private java.lang.String
indentString()
void
print(Node node)
-