public final class CVCLPrinter
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static void |
print(State.ProverVersion version,
AST tree,
java.io.PrintWriter out)
Print abstract syntax tree in CVCL syntax.
|
static java.lang.String |
toString(State.ProverVersion version,
AST tree)
Convert abstract syntax tree to CVCL syntax.
|
public static java.lang.String toString(State.ProverVersion version, AST tree)
version
- the version of CVC(L)tree
- the tree to be converted.public static void print(State.ProverVersion version, AST tree, java.io.PrintWriter out)
version
- the version of CVC(L)tree
- the tree to be printed.out
- the stream to which the tree is printed.