org.processmining.plugins.plg.generator.process

Class PLGProcessCollectionGeneratorConfiguration

java.lang.Object

org.processmining.plugins.plg.generator.process.PLGProcessCollectionGeneratorConfiguration

public class PLGProcessCollectionGeneratorConfiguration
extends java.lang.Object

Configuration of a collection of processes generator

Author:

Andrea Burattin

Constructor Summary

Constructors

Constructor and Description
PLGProcessCollectionGeneratorConfiguration(java.lang.String name, PLGProcessGeneratorConfiguration singleProcess, int instancesNo)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getCollectionName()
java.util.Date	getCreationDate()
int	getInstancesNo()
PLGProcessGeneratorConfiguration	getSingleProcess()
void	setCollectionName(java.lang.String name)
void	setCreationDate(java.util.Date creationDate)
void	setInstancesNo(int instancesNo)
void	setSingleProcess(PLGProcessGeneratorConfiguration singleProcess)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PLGProcessCollectionGeneratorConfiguration

public PLGProcessCollectionGeneratorConfiguration(java.lang.String name,
                                                  PLGProcessGeneratorConfiguration singleProcess,
                                                  int instancesNo)

Parameters:

name -

singleProcess -

instancesNo -

Method Detail

setInstancesNo

public void setInstancesNo(int instancesNo)

Parameters:

instancesNo -

getInstancesNo

public int getInstancesNo()

Returns:

setSingleProcess

public void setSingleProcess(PLGProcessGeneratorConfiguration singleProcess)

Parameters:

singleProcess -

getSingleProcess

public PLGProcessGeneratorConfiguration getSingleProcess()

Returns:

setCollectionName

public void setCollectionName(java.lang.String name)

Parameters:

name -

getCollectionName

public java.lang.String getCollectionName()

Returns:

setCreationDate

public void setCreationDate(java.util.Date creationDate)

Parameters:

creationDate -

getCreationDate

public java.util.Date getCreationDate()

Returns: