public class PLGMineResultCollection
extends java.lang.Object
Constructor and Description |
---|
PLGMineResultCollection(java.lang.String name)
Basic class constructor
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<PLGPair<PLGLog,java.lang.Object>> |
get(PlgProcess p)
This method to get the set of all the logs for a given process
|
java.lang.String |
getName()
Method to get the mine result name
|
java.util.Set<PlgProcess> |
keySet()
This method to get the set of all the processes with a log and a miner
result
|
java.lang.Object |
put(PlgProcess p,
PLGLog l,
java.lang.Object r)
Method to add a result to the current collection
|
int |
size()
This method returns the size of the collection
|
public PLGMineResultCollection(java.lang.String name)
name
- collectionTypes
- public java.lang.String getName()
public java.lang.Object put(PlgProcess p, PLGLog l, java.lang.Object r)
p
- the original processl
- the original logr
- the mined modelpublic int size()
public java.util.Set<PlgProcess> keySet()
public java.util.Set<PLGPair<PLGLog,java.lang.Object>> get(PlgProcess p)
p
- the given process