monq.jfa

Class Statistics

java.lang.Object

monq.jfa.Statistics

public class Statistics
extends java.lang.Object

computes statistical data about an Nfa or Dfa.

Field Summary

Fields

Modifier and Type	Field and Description
java.util.Map<java.lang.Class<?>,monq.jfa.Statistics.Int>	charTransTypes type and number of CharTrans implementations used
int	longestPathlen longest loop free path to a stop state
int	nfaStates number of states with at least one epsilon move.
int	numStates the number of states in the FA
int	shortestPathlen shortest path to a stop state
int	stopStates number of stop states found

Method Summary

Modifier and Type	Method and Description
static Statistics	getStatistics(Dfa dfa, java.io.Writer w) same as getStatistics(Nfa,Writer) but for a Dfa.
static Statistics	getStatistics(Nfa nfa, java.io.Writer w) compute statistical data for a Nfa.
void	print(java.io.PrintWriter pw) dumps the object's contents.

Methods inherited from class java.lang.Object

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

Field Detail

numStates

public int numStates

the number of states in the FA

nfaStates

public int nfaStates

number of states with at least one epsilon move.

stopStates

public int stopStates

number of stop states found

shortestPathlen

public int shortestPathlen

shortest path to a stop state

longestPathlen

public int longestPathlen

longest loop free path to a stop state

charTransTypes

public java.util.Map<java.lang.Class<?>,monq.jfa.Statistics.Int> charTransTypes

type and number of CharTrans implementations used

Method Detail

print

public void print(java.io.PrintWriter pw)

dumps the object's contents.

getStatistics

public static Statistics getStatistics(Nfa nfa,
                                       java.io.Writer w)
                                throws java.io.IOException

compute statistical data for a Nfa. If the given Writer is not null, regular expressions describing the shortest path to stop states are printed.

Throws:

java.io.IOException

getStatistics

public static Statistics getStatistics(Dfa dfa,
                                       java.io.Writer w)
                                throws java.io.IOException

same as getStatistics(Nfa,Writer) but for a Dfa.

Throws:

java.io.IOException