ca.uqac.lif.ecp

Class CayleyDiameterCoverage<T extends Event,U>

java.lang.Object

ca.uqac.lif.ecp.CoverageMetric<T,V>

ca.uqac.lif.ecp.CayleyCoverageMetric<T,U,java.lang.Float>

ca.uqac.lif.ecp.CayleyDiameterCoverage<T,U>

Type Parameters:

T - The type of events in the trace

U - The output type of the triaging function

public class CayleyDiameterCoverage<T extends Event,U>
extends CayleyCoverageMetric<T,U,java.lang.Float>

Coverage of a set of traces based on the maximum length for which all equivalence classes of some triaging function are represented in one of the prefixes of some trace. Otherwise stated, it is the largest integer d such that the subgraph of the Cayley graph with diameter d is completely covered by the traces of the set.

Author:

Sylvain

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	m_cumulative Whether the cardinality considers all traces up to a given length (true), or exactly of given length (false)

Fields inherited from class ca.uqac.lif.ecp.CayleyCoverageMetric

m_function, m_graph

Constructor Summary

Constructors

Constructor and Description
CayleyDiameterCoverage(CayleyGraph<T,U> graph, TriagingFunction<T,U> function)

Method Summary

Modifier and Type	Method and Description
java.lang.Float	getCoverage(java.util.Set<Trace<T>> traces) Gets the coverage of the set of traces according to the metric
void	setCumulative(boolean b) Sets whether the cardinality considers all traces up to a given length (true), or exactly of given length (false)

Methods inherited from class ca.uqac.lif.ecp.CayleyCoverageMetric

getCoveredClasses, getCoveredClasses

Methods inherited from class java.lang.Object

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

Field Detail

m_cumulative

protected boolean m_cumulative

Whether the cardinality considers all traces up to a given length (true), or exactly of given length (false)

Constructor Detail

CayleyDiameterCoverage

public CayleyDiameterCoverage(CayleyGraph<T,U> graph,
                              TriagingFunction<T,U> function)

Method Detail

setCumulative

public void setCumulative(boolean b)

Sets whether the cardinality considers all traces up to a given length (true), or exactly of given length (false)

Parameters:

b -

getCoverage

public java.lang.Float getCoverage(java.util.Set<Trace<T>> traces)

Description copied from class: CoverageMetric

Gets the coverage of the set of traces according to the metric

Specified by:

getCoverage in class CoverageMetric<T extends Event,java.lang.Float>

Parameters:

traces - The set of traces we wish to measure coverage for

Returns:

The coverage