public class PropertiesEvent extends Event implements PropertiesElement
| Constructor and Description |
|---|
PropertiesEvent(int size)
Creates a new PropertiesEvent with an array of the size indicated filled
with zeros.
|
PropertiesEvent(int[] status)
Builds a new event with characteristic array as a paramenter.
|
| Modifier and Type | Method and Description |
|---|---|
PropertiesEvent |
clone() |
int |
compareTo(Event e)
Returns positive if this Event has a higher number then the given event.
|
int |
compareTo(PropertiesEvent e1)
Compares the properties in order.
|
boolean |
equals(PropertiesEvent e) |
int |
getNumProps()
Returns the number of properties in the array that characterize this
element.
|
int[] |
getProperties()
Gets the array of properties.
|
int |
getProperty(int index)
Gets the value of this property.
|
java.lang.String |
label()
If this function is not overriden by the user it returns the Event
number.
|
getClass, hashCode, notify, notifyAll, wait, wait, waitdescription, equals, toStringpublic PropertiesEvent(int[] status)
status - characteristic array of the event.public PropertiesEvent(int size)
size - size of the characteristic array.public java.lang.String label()
Eventlabel in interface JMarkovElementlabel in class EventEvent.description()public int getNumProps()
getNumProps in interface PropertiesElementpublic final int compareTo(PropertiesEvent e1)
e1 - The PropertiesEvent to compare to.public final int compareTo(Event e)
Eventpublic final boolean equals(PropertiesEvent e)
e - teh PropertiesEvent to compare Topublic final int[] getProperties()
getProperties in interface PropertiesElementpublic int getProperty(int index)
getProperty in interface PropertiesElementindex - public PropertiesEvent clone()
clone in interface PropertiesElementclone in class java.lang.Object