Class SimpleCharStream

java.lang.Object
com.uppaal.model.io2.SimpleCharStream

public class SimpleCharStream
extends Object
An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).