ca.uqac.lif.ecp

Class CayleyCoverageRadius.RadiusMap

java.lang.Object

java.util.AbstractMap<K,V>

java.util.HashMap<K,V>

ca.uqac.lif.structures.MathMap<java.lang.Integer,java.lang.Float>

ca.uqac.lif.ecp.CayleyCoverageRadius.RadiusMap

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.util.Map<java.lang.Integer,java.lang.Float>

Enclosing class:

CayleyCoverageRadius<T extends Event,U>

public static class CayleyCoverageRadius.RadiusMap
extends MathMap<java.lang.Integer,java.lang.Float>

A map from trace length ℓ to a rational number between 0 and 1. This number indicates how much coverage is achieved for equivalence classes reachable by a trace of length ℓ or less.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class java.util.AbstractMap

java.util.AbstractMap.SimpleEntry<K,V>, java.util.AbstractMap.SimpleImmutableEntry<K,V>

Nested classes/interfaces inherited from interface java.util.Map

java.util.Map.Entry<K,V>

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.String	m_title A title to give to this plot
protected boolean	m_weighted

Constructor Summary

Constructors

Constructor and Description
RadiusMap(boolean weighted)
RadiusMap(java.lang.String title, boolean weighted)

Method Summary

Modifier and Type	Method and Description
java.lang.String	toGnuplot() Produces a Gnuplot rendition of the radius map

Methods inherited from class ca.uqac.lif.structures.MathMap

getWithValue

Methods inherited from class java.util.HashMap

clear, clone, compute, computeIfAbsent, computeIfPresent, containsKey, containsValue, entrySet, forEach, get, getOrDefault, isEmpty, keySet, merge, put, putAll, putIfAbsent, remove, remove, replace, replace, replaceAll, size, values

Methods inherited from class java.util.AbstractMap

equals, hashCode, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Map

equals, hashCode

Field Detail

m_title

protected java.lang.String m_title

A title to give to this plot

m_weighted

protected final boolean m_weighted

Constructor Detail

RadiusMap

public RadiusMap(boolean weighted)

RadiusMap

public RadiusMap(java.lang.String title,
                 boolean weighted)

Method Detail

toGnuplot

public java.lang.String toGnuplot()

Produces a Gnuplot rendition of the radius map

Returns:

A Gnuplot string