org.jbpt.petri.behavior

Class LolaSoundnessCheckerResult

java.lang.Object

org.jbpt.petri.behavior.LolaSoundnessCheckerResult

public class LolaSoundnessCheckerResult
extends Object

Result object for LolaSoundnessChecker.

Author:

Tobias Hoppe

Constructor Summary

Constructors

Constructor and Description
LolaSoundnessCheckerResult()

Method Summary

Methods

Modifier and Type	Method and Description
void	addDeadTransition(Transition deadTransition)
void	addUnboundedPlace(Place unboundedPlace)
void	addUncoveredTransition(Transition uncoveredtransition)
Collection<Transition>	getDeadTransitions()
Collection<Place>	getUnboundedPlaces()
Collection<Transition>	getUncoveredTransitions()
boolean	hasLiveness()
boolean	hasQuasiLiveness()
boolean	hasTransitioncover()
boolean	isBounded()
boolean	isClassicalSound()
boolean	isRelaxedSound()
boolean	isWeakSound()
void	parseResult(String lolaResponse, NetSystem analyzedNet) Parses the response from LoLA.
void	setBoundedness(boolean boundedness)
void	setClassicalSoundness(boolean soundness)
void	setDeadTransitions(Collection<Transition> deadTransitions)
void	setLiveness(boolean liveness)
void	setQuasiLiveness(boolean quasiLiveness)
void	setRelaxedSoundness(boolean relaxedSoundness)
void	setTransitioncover(boolean transitioncover)
void	setUnboundedPlaces(Collection<Place> unboundedPlaces)
void	setUncoveredTransitions(Collection<Transition> uncoveredTransitions)
void	setWeakSoundness(boolean weaksoundness)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

LolaSoundnessCheckerResult

public LolaSoundnessCheckerResult()

Method Detail

addDeadTransition

public void addDeadTransition(Transition deadTransition)

Parameters:

deadTransitions - the dead transition to add

addUnboundedPlace

public void addUnboundedPlace(Place unboundedPlace)

Parameters:

unboundedPlaces - the unbounded place to add

addUncoveredTransition

public void addUncoveredTransition(Transition uncoveredtransition)

Parameters:

uncoveredTransitions - the uncovered transition to add

getDeadTransitions

public Collection<Transition> getDeadTransitions()

Returns:

the dead transitions

getUnboundedPlaces

public Collection<Place> getUnboundedPlaces()

Returns:

the unbounded places

getUncoveredTransitions

public Collection<Transition> getUncoveredTransitions()

Returns:

the uncovered transitions

hasLiveness

public boolean hasLiveness()

Returns:

the liveness

hasTransitioncover

public boolean hasTransitioncover()

Returns:

the transitioncover

isBounded

public boolean isBounded()

Returns:

the boundedness

isClassicalSound

public boolean isClassicalSound()

Returns:

the soundness

hasQuasiLiveness

public boolean hasQuasiLiveness()

Returns:

the quasiliveness

isRelaxedSound

public boolean isRelaxedSound()

Returns:

the relaxedsoundness

isWeakSound

public boolean isWeakSound()

Returns:

the weaksoundness

parseResult

public void parseResult(String lolaResponse,
               NetSystem analyzedNet)

Parses the response from LoLA.

Parameters:

response - from LoLA

setBoundedness

public void setBoundedness(boolean boundedness)

Parameters:

boundedness - the boundedness to set

setClassicalSoundness

public void setClassicalSoundness(boolean soundness)

Parameters:

soundness - the soundness to set

setDeadTransitions

public void setDeadTransitions(Collection<Transition> deadTransitions)

Parameters:

deadTransitions - the dead transitions to set

setLiveness

public void setLiveness(boolean liveness)

Parameters:

liveness - the liveness to set

setQuasiLiveness

public void setQuasiLiveness(boolean quasiLiveness)

Parameters:

quasiLiveness - the quasiliveness to set

setRelaxedSoundness

public void setRelaxedSoundness(boolean relaxedSoundness)

Parameters:

relaxedSoundness - the relaxedsoundness to set

setTransitioncover

public void setTransitioncover(boolean transitioncover)

Parameters:

transitioncover - the transitioncover to set

setUnboundedPlaces

public void setUnboundedPlaces(Collection<Place> unboundedPlaces)

Parameters:

unboundedPlaces - the unbounded places to set

setUncoveredTransitions

public void setUncoveredTransitions(Collection<Transition> uncoveredTransitions)

Parameters:

uncoveredTransitions - the uncovered transitions to set

setWeakSoundness

public void setWeakSoundness(boolean weaksoundness)

Parameters:

weaksoundness - the weaksoundness to set

toString

public String toString()

Overrides:

toString in class Object