Package org.bigraphs.framework.core.reactivesystem

Class ReactionGraphStats<B extends Bigraph<? extends Signature<?>>>

java.lang.Object

org.bigraphs.framework.core.reactivesystem.ReactionGraphStats<B>

public class ReactionGraphStats<B extends Bigraph<? extends Signature<?>>>
extends Object

Author:

Dominik Grzelak

Constructor Summary

Constructors

Constructor	Description
ReactionGraphStats(ReactionGraph<B> reactionGraph)

Method Summary

Modifier and Type	Method	Description
int	getOccurrenceCount()
int	getStateCount()
int	getTransitionCount()
void	setOccurrenceCount(int value)

Methods inherited from class java.lang.Object

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

Constructor Details

ReactionGraphStats

public ReactionGraphStats(ReactionGraph<B> reactionGraph)

Method Details

getTransitionCount

public int getTransitionCount()

getOccurrenceCount

public int getOccurrenceCount()

getStateCount

public int getStateCount()

setOccurrenceCount

public void setOccurrenceCount(int value)