org.kahina.logic.sat.insertionmus.gui

Class ClauseSelectionEvent

java.lang.Object

org.kahina.core.control.KahinaEvent

org.kahina.logic.sat.insertionmus.gui.ClauseSelectionEvent

public class ClauseSelectionEvent
extends KahinaEvent

Constructor Summary

Constructors

Constructor and Description
ClauseSelectionEvent(int clauseIDs)

Method Summary

Methods

Modifier and Type	Method and Description
int	getClauseID()

Methods inherited from class org.kahina.core.control.KahinaEvent

getType, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ClauseSelectionEvent

public ClauseSelectionEvent(int clauseIDs)

Method Detail

getClauseID

public int getClauseID()