org.grinvin.graphbrowser

Class ConjecturingWindow

Implemented Interfaces:
HasGraphList, HasInvariantList

public class ConjecturingWindow
extends JFrame
implements HasGraphList, HasInvariantList

Window associated to a conjecturing engine. Consists of

Constructor Summary

ConjecturingWindow(GraphInvariantListModel list)

Method Summary

void
addConjecturingWindowListener(ConjecturingWindowListener l)
void
addResult(String result)
String
getCurrentComponent()
int
getDividerLocation()
EngineRunner
getEngineRunner()
GraphList
getGraphList()
Return the graph list model which is used by this component.
int
getGraphListDividerLocation()
int
getGraphPropertiesComponentDividerLocation()
InvariantList
getInvariantList()
Return the invariant list which is used by this component.
int
getInvariantTableDividerLocation()
Invariant
getSelectedInvariant()
int
getUsableInvariantsCount()
void
removeConjecturingWindowListener(ConjecturingWindowListener l)
void
setCurrentComponent(String component)
void
setDividerLocation(int location)
void
setGraphListDividerLocation(int location)
void
setGraphPropertiesComponentDividerLocation(int location)
void
setInvariantTableDividerLocation(int location)
void
setStatus(EngineRunner.Status status)

Constructor Details

ConjecturingWindow

public ConjecturingWindow(GraphInvariantListModel list)

Method Details

addConjecturingWindowListener

public void addConjecturingWindowListener(ConjecturingWindowListener l)

addResult

public void addResult(String result)

getCurrentComponent

public String getCurrentComponent()

getDividerLocation

public int getDividerLocation()

getEngineRunner

public EngineRunner getEngineRunner()

getGraphList

public GraphList getGraphList()
Return the graph list model which is used by this component.
Specified by:
getGraphList in interface HasGraphList

getGraphListDividerLocation

public int getGraphListDividerLocation()

getGraphPropertiesComponentDividerLocation

public int getGraphPropertiesComponentDividerLocation()

getInvariantList

public InvariantList getInvariantList()
Return the invariant list which is used by this component.
Specified by:
getInvariantList in interface HasInvariantList

getInvariantTableDividerLocation

public int getInvariantTableDividerLocation()

getSelectedInvariant

public Invariant getSelectedInvariant()

getUsableInvariantsCount

public int getUsableInvariantsCount()

removeConjecturingWindowListener

public void removeConjecturingWindowListener(ConjecturingWindowListener l)

setCurrentComponent

public void setCurrentComponent(String component)
            throws RuntimeException

setDividerLocation

public void setDividerLocation(int location)

setGraphListDividerLocation

public void setGraphListDividerLocation(int location)

setGraphPropertiesComponentDividerLocation

public void setGraphPropertiesComponentDividerLocation(int location)

setInvariantTableDividerLocation

public void setInvariantTableDividerLocation(int location)

setStatus

public void setStatus(EngineRunner.Status status)