import javax.swing.text.Document;
public class ReducedModel {
private RootBreaker root;
public ReducedModel() {
root = new RootBreaker();
}
public ReducedModel(Document doc) {
root = new RootBreaker(doc.getLength());
//TODO: parse document the create reduced model tree
}
}