public class MUCStepViewListener
extends java.awt.event.MouseAdapter
implements java.awt.event.ActionListener, javax.swing.event.ChangeListener
Modifier and Type | Field and Description |
---|---|
static long |
DBL_CLICK_INTERVAL |
Constructor and Description |
---|
MUCStepViewListener(MUCInstance kahina,
MUCStepViewPanel view) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent e) |
boolean |
getAutarkyReductionOptionState() |
boolean |
getClauseSetRefinementOptionState() |
int[] |
getLiteralSubselection(int[] selection) |
boolean |
getModelRotationOptionState() |
protected void |
maybeShowPopup(java.awt.event.MouseEvent e) |
void |
mouseClicked(java.awt.event.MouseEvent e) |
void |
mousePressed(java.awt.event.MouseEvent e) |
void |
mouseReleased(java.awt.event.MouseEvent e) |
void |
stateChanged(javax.swing.event.ChangeEvent arg0) |
public static final long DBL_CLICK_INTERVAL
public MUCStepViewListener(MUCInstance kahina, MUCStepViewPanel view)
public void mouseClicked(java.awt.event.MouseEvent e)
mouseClicked
in interface java.awt.event.MouseListener
mouseClicked
in class java.awt.event.MouseAdapter
public void mousePressed(java.awt.event.MouseEvent e)
mousePressed
in interface java.awt.event.MouseListener
mousePressed
in class java.awt.event.MouseAdapter
public void mouseReleased(java.awt.event.MouseEvent e)
mouseReleased
in interface java.awt.event.MouseListener
mouseReleased
in class java.awt.event.MouseAdapter
protected void maybeShowPopup(java.awt.event.MouseEvent e)
public void actionPerformed(java.awt.event.ActionEvent e)
actionPerformed
in interface java.awt.event.ActionListener
public int[] getLiteralSubselection(int[] selection)
public boolean getClauseSetRefinementOptionState()
public boolean getModelRotationOptionState()
public boolean getAutarkyReductionOptionState()
public void stateChanged(javax.swing.event.ChangeEvent arg0)
stateChanged
in interface javax.swing.event.ChangeListener