package verification.timed_state_exploration.zoneProject;

import lpn.parser.Transition;

public class Event {

	
	
	public Event(Transition t){
		
	}
	
	
	public Event(InequalityVariable v){
		
	}
	
	/**
	 * Determines whether this Event represents a Transition.
	 * @return
	 * 		True if this EventSet represents a Transition; false otherwise.
	 */
	public boolean isTransition() {
		
		return false;
	}

	
	/**
	 * Determines whether the EventSet represents a rate event.
	 * @return
	 * 		True if this EventSet represents a rate event; flase otherwise.
	 */
	public boolean isRate() {
		
		return false;
	}
	
	public boolean isInequality(){
		return false;
	}
	
	
	public InequalityVariable getInequalityVariable(){
		return null;
	}
	
	public Transition getTransition(){
		return null;
	}
}

@@ -87,72 +87,845 @@
 n;%0A%0A
-public class Event %7B%0A%0A%09%0A%09%0A%09public Event(Transition t)%7B%0A%09%09%0A%09%7D%0A%09%0A%09
+/**%0A * An Event is an action that is pending. This can be a transition to fire or an inequality.%0A * @author Andrew N. Fisher%0A *%0A */%0Apublic class Event %7B%0A%0A%09/*%0A%09 * Abstraction Function : An event simply represents a transition or an Inequality. Whichever the %0A%09 * event is representing is stored in the corresponding member variables _transition or _inequality.%0A%09 */%0A%09%0A%09/*%0A%09 * Representation Invariant : Exactly one of _transition or _inequality should be non-null at a given%0A%09 * time.%0A%09 */%0A%09%0A%09Transition _transition;%0A%09%0A%09InequalityVariable _inequality;%0A%09%0A%09/**%0A%09 * Initializes the Event as a transition event.%0A%09 * @param t%0A%09 * %09%09The transition the event represents.%0A%09 */%0A%09public Event(Transition t)%7B%0A%09%09_transition = t;%0A%09%7D%0A%09%0A%09/**%0A%09 * Initializes the Event as an inequality event.%0A%09 * @param v%0A%09 * %09%09The inequality this event represents.%0A%09 */
 %0A%09pu
@@ -960,16 +960,32 @@
 e v)%7B%0A%09%09
+_inequality = v;
 %0A%09%7D%0A%09%0A%09/
@@ -1174,29 +1174,43 @@
 %09%09%0A%09%09return 
-false
+_transition != null
 ;%0A%09%7D%0A%0A%09%0A%09/**
@@ -1239,18 +1239,16 @@
 r th
-e
+is
  Event
-Set
  rep
@@ -1335,18 +1335,18 @@
 event; f
-l
 a
+l
 se other
@@ -1412,133 +1412,614 @@
 %0A%09%0A%09
-public boolean isInequality()%7B%0A%09%09return false;%0A%09%7D%0A%09%0A%09%0A%09public InequalityVariable getInequalityVariable()%7B%0A%09%09return null;%0A%09%7D%0A%09
+/**%0A%09 * Determines whether this Event represents an inequality.%0A%09 * @return%0A%09 * %09%09True if this Event is an inequality, false otherwise.%09%0A%09 */%0A%09public boolean isInequality()%7B%0A%09%09return _inequality != null;%0A%09%7D%0A%09%0A%09/**%0A%09 * Gets the inequality variable that this Event represents.%0A%09 * @return%0A%09 * %09%09The inequality variable if this Event represents an inequality, null otherwise.%0A%09 */%0A%09public InequalityVariable getInequalityVariable()%7B%0A%09%09return _inequality;%0A%09%7D%0A%09%0A%09/**%0A%09 * Gets the transition that this Event represents.%0A%09 * @return%0A%09 * %09%09The transition if this Event represents a transition, null otherwise.%0A%09 */
 %0A%09pu
@@ -2060,19 +2060,26 @@
 %09return 
-null
+_transition
 ;%0A%09%7D%0A%7D%0A

Complete implementing method stubs except things with rates.