org.processmining.plugins.ltlchecker.declare2ltl

Class Role

java.lang.Object

org.processmining.plugins.declareminer.visualizing.Base

org.processmining.plugins.ltlchecker.declare2ltl.Role

All Implemented Interfaces:

java.lang.Cloneable

public class Role
extends org.processmining.plugins.declareminer.visualizing.Base

Constructor Summary

Constructors

Constructor and Description
Role(int aId) Role

Method Summary

Modifier and Type	Method and Description
java.lang.Object	clone() clone
boolean	equals(java.lang.Object anObject) equals
java.lang.String	getName()
int	hashCode()
void	setName(java.lang.String name)
java.lang.String	toString()

Methods inherited from class org.processmining.plugins.declareminer.visualizing.Base

cloneAttributes, getId, getIdString, newInstance, nextId, setId

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Role

public Role(int aId)

Role

Parameters:

aId - int

Method Detail

getName

public java.lang.String getName()

setName

public void setName(java.lang.String name)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object anObject)

equals

Overrides:

equals in class org.processmining.plugins.declareminer.visualizing.Base

Parameters:

anObject - Object

Returns:

boolean

hashCode

public int hashCode()

Overrides:

hashCode in class org.processmining.plugins.declareminer.visualizing.Base

Returns:

int

clone

public java.lang.Object clone()

Description copied from class: org.processmining.plugins.declareminer.visualizing.Base

clone

Overrides:

clone in class org.processmining.plugins.declareminer.visualizing.Base