de.lmu.ifi.pst.x10080133.domain
Class Rule
java.lang.Object
de.lmu.ifi.pst.x10080133.domain.Rule
public class Rule
- extends java.lang.Object
Information holder for one rule, contains n locations
- Author:
- Roman.Schwienbacher
Field Summary |
private java.lang.String[] |
pre_visited
|
private java.lang.String |
role
|
Constructor Summary |
Rule()
|
Rule(java.lang.String role,
java.lang.String[] pre_visited)
|
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
role
private java.lang.String role
pre_visited
private java.lang.String[] pre_visited
Rule
public Rule()
Rule
public Rule(java.lang.String role,
java.lang.String[] pre_visited)
getRole
public java.lang.String getRole()
setRole
public void setRole(java.lang.String role)
getPre_visited
public java.lang.String[] getPre_visited()
setPre_visited
public void setPre_visited(java.lang.String[] pre_visited)
hashCode
public int hashCode()
- Overrides:
hashCode
in class java.lang.Object
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in class java.lang.Object
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object