Class for displaying a list of expansion trees and a title.
This class takes care of drawing an ExpansionSequent.
Created by marty on 3/26/14.
Created by marty on 10/14/14.
Created by marty on 10/14/14. The Menubar has not too much logic and mainly calls the Main object to perform tasks.
Created by marty on 3/18/14.
This is a wrapper around the Sunburst Tree from the treeviz library.
This is a wrapper around the Sunburst Tree from the treeviz library. It provides a listener for the selection of a node in tree.
Class that displays a list of expansion trees.