Examples of wyautl.io.BinaryAutomataWriter

wyautl.io.BinaryAutomataWriter
Enables an automaton to be written to a binary output stream. @author David J. Pearce

    global.compact();
    // FIXME: put this back in!!
    // global.canonicalise();


    // Second, we write the single global automaton to the output stream.
    BinaryAutomataWriter writer = new BinaryAutomataWriter(output,
        Types.SCHEMA);
    writer.write(global);
  }

View Full Code Here

  }


  public byte[] toBytes() throws IOException {
    ByteArrayOutputStream bout = new ByteArrayOutputStream();
    BinaryOutputStream bos = new BinaryOutputStream(bout);
    BinaryAutomataWriter bw = new BinaryAutomataWriter(bos, SCHEMA);
    bw.write(automaton);
    bw.flush();
    return bout.toByteArray();
  }

View Full Code Here

TOP

Related Classes of wyautl.io.BinaryAutomataWriter

wyautl.util.BigRational

wycs.io.WycsFileWriter

wyrl.core.Type

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.