org.processmining.plugins.petrify

Class PetrifyDotSG

java.lang.Object

org.processmining.plugins.petrify.PetrifyDotAny

org.processmining.plugins.petrify.PetrifyDotSG

public class PetrifyDotSG
extends PetrifyDotAny

Support for the Petrify/Genet state graph file format (.sg).

Author:

HVERBEEK

Constructor Summary

Constructors

Constructor and Description
PetrifyDotSG(java.lang.String absolutePath) Creates a, say handle, to the file with the given absolute path.

Method Summary

Modifier and Type	Method and Description
static java.lang.String	getFileExtension() Returns the file extension (.sg) for this file format.

Methods inherited from class org.processmining.plugins.petrify.PetrifyDotAny

getInputStream, getLength, getName

Methods inherited from class java.lang.Object

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

Constructor Detail

PetrifyDotSG

public PetrifyDotSG(java.lang.String absolutePath)

Creates a, say handle, to the file with the given absolute path.

Parameters:

absolutePath - The given absolute path.

Method Detail

getFileExtension

public static java.lang.String getFileExtension()

Returns the file extension (.sg) for this file format.

Returns:

The file extension for Petrify/Genet state graph files.