public class TexWriter
extends java.lang.Object
Constructor and Description |
---|
TexWriter(java.lang.String title,
java.io.OutputStream out,
ConstBoard board,
java.lang.String[][] markLabel,
boolean[][] mark,
boolean[][] markTriangle,
boolean[][] markCircle,
boolean[][] markSquare,
boolean[][] markSelect) |
TexWriter(java.lang.String title,
java.io.OutputStream out,
ConstGameTree tree) |
public TexWriter(java.lang.String title, java.io.OutputStream out, ConstBoard board, java.lang.String[][] markLabel, boolean[][] mark, boolean[][] markTriangle, boolean[][] markCircle, boolean[][] markSquare, boolean[][] markSelect)
public TexWriter(java.lang.String title, java.io.OutputStream out, ConstGameTree tree)