public class SATCheckingFormulaTreeListener extends FormulaTreeViewListener
view
lastMouseEvent, marker
Constructor and Description |
---|
SATCheckingFormulaTreeListener(FormulaTreeViewPanel view,
FreeMUCInstance kahina) |
Modifier and Type | Method and Description |
---|---|
void |
mouseClicked(java.awt.event.MouseEvent e) |
actionPerformed, mousePressed, mouseReleased
public SATCheckingFormulaTreeListener(FormulaTreeViewPanel view, FreeMUCInstance kahina)
public void mouseClicked(java.awt.event.MouseEvent e)
mouseClicked
in interface java.awt.event.MouseListener
mouseClicked
in class FormulaTreeViewListener