omnics.event
Class EliminationEvent

java.lang.Object
  omnics.event.SolverEvent
      omnics.event.FilterEvent
          omnics.event.EliminationEvent

public class EliminationEvent
extends FilterEvent

Author:

Cristian Frasinaru

Field Summary

Fields inherited from class omnics.event.FilterEvent

filter

Fields inherited from class omnics.event.SolverEvent

solver

Constructor Summary

EliminationEvent(SystematicSolver solver, Filter filter, Var variable, java.lang.Object value, Var trigger)

Method Summary

Var	getTrigger()
java.lang.Object	getValue()
Var	getVariable()
void	setTrigger(Var trigger)
void	setValue(java.lang.Object value)
void	setVariable(Var variable)

Methods inherited from class omnics.event.FilterEvent

getFilter, setFilter

Methods inherited from class omnics.event.SolverEvent

getSolver, setSolver

Methods inherited from class java.lang.Object

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

Constructor Detail

EliminationEvent

public EliminationEvent(SystematicSolver solver,
                        Filter filter,
                        Var variable,
                        java.lang.Object value,
                        Var trigger)

Method Detail

getVariable

public Var getVariable()

setVariable

public void setVariable(Var variable)

getValue

public java.lang.Object getValue()

setValue

public void setValue(java.lang.Object value)

getTrigger

public Var getTrigger()

setTrigger

public void setTrigger(Var trigger)