public final String toPGN(PGNOptions options){
  PgnText pgnText=new PgnText();
  options.exp.pgnPromotions=true;
  options.exp.pieceType=PGNOptions.PT_ENGLISH;
  pgnTreeWalker(options,pgnText);
  return pgnText.getPgnString();
}

public final String toPGN ( PGNOptions options ) { PgnText pgnText = new PgnText ( ) ; options . exp . pgnPromotions = true ; options . exp . pieceType = PGNOptions . PT_ENGLISH ; pgnTreeWalker ( options , pgnText ) ; return pgnText . getPgnString ( ) ; }
export game tree in pgn format .
