Package org.processmining.models.graphbased.directed.petrinet.analysis

Class NetAnalysisInformation.LIVENESS

java.lang.Object

org.processmining.models.graphbased.directed.petrinet.analysis.NetAnalysisInformation<NetAnalysisInformation.UnDetBool>

org.processmining.models.graphbased.directed.petrinet.analysis.NetAnalysisInformation.LIVENESS

Enclosing class:

NetAnalysisInformation<T>

public static class NetAnalysisInformation.LIVENESS
extends NetAnalysisInformation<NetAnalysisInformation.UnDetBool>

Nested Class Summary

Nested classes/interfaces inherited from class org.processmining.models.graphbased.directed.petrinet.analysis.NetAnalysisInformation

NetAnalysisInformation.BOUNDEDNESS, NetAnalysisInformation.EXTFREECHOICE, NetAnalysisInformation.FREECHOICE, NetAnalysisInformation.LIVENESS, NetAnalysisInformation.RELAXEDSOUND, NetAnalysisInformation.UnDetBool

Constructor Summary

Constructors

Constructor	Description
LIVENESS()

Method Summary

Methods inherited from class org.processmining.models.graphbased.directed.petrinet.analysis.NetAnalysisInformation

equals, getLabel, getValue, setValue

Methods inherited from class java.lang.Object

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

Constructor Detail

LIVENESS

public LIVENESS()