public class ConstraintGraphPresenter.CCallbackHandler
extends de.ims.icarus.plugins.jgraph.view.GraphPresenter.CallbackHandler
Constructor and Description |
---|
ConstraintGraphPresenter.CCallbackHandler() |
Modifier and Type | Method and Description |
---|---|
void |
addDisjunction(java.awt.event.ActionEvent e) |
void |
toggleRootOperator(java.awt.event.ActionEvent e) |
void |
toggleRootOperator(boolean b) |
addEdge, addEdge, addNode, addOrderEdge, clearGraph, cloneCells, collapseCells, copyCells, deleteCells, editCell, expandCells, exportCells, importCells, moveCells, openPreferences, pasteCells, printGraph, rebuildGraph, redoEdit, resetZoom, toggleAutoZoom, toggleAutoZoom, toggleCompress, toggleCompress, toggleMarkIncoming, toggleMarkIncoming, toggleMarkOutgoing, toggleMarkOutgoing, undoEdit, zoomIn, zoomOut