Package org.jacop.fz
Class ASTPrint
- java.lang.Object
-
- org.jacop.fz.ASTPrint
-
public class ASTPrint extends java.lang.ObjectASTPrint.javaPrinitng of AST nodes generated bt jjtree
-
-
Field Summary
Fields Modifier and Type Field Description private intindent
-
Constructor Summary
Constructors Constructor Description ASTPrint()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description private voiddfs_visit(Node node)private java.lang.StringindentString()voidprint(Node node)
-