Package net.automatalib.util.minimizer

Class BlockMap<V>

java.lang.Object

net.automatalib.util.minimizer.BlockMap<V>

Type Parameters:

V - value class.

All Implemented Interfaces:

Function<Block<?,?>,V>, Mapping<Block<?,?>,V>, MutableMapping<Block<?,?>,V>

public class BlockMap<V>
extends Object
implements MutableMapping<Block<?,?>,V>

Class for associating arbitrary values with the blocks of a minimization result.

The storage and lookup are performed in constant time.

Constructor Summary

Constructors

Constructor	Description
BlockMap(MinimizationResult<?,?> minResult)	Constructor.

Method Summary

Modifier and Type	Method	Description
V	get(Block<?,?> block)	Retrieves a value.
V	put(Block<?,?> block, V value)	Stores a value.
Collection<V>	values()	Retrieves all values that are stored in this map.

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.function.Function

andThen, compose

Methods inherited from interface net.automatalib.common.util.mapping.Mapping

apply

Constructor Detail

BlockMap

public BlockMap(MinimizationResult<?,?> minResult)

Constructor.

Parameters:

minResult - the result structure.

Method Detail

get

public V get(Block<?,?> block)

Retrieves a value.

Specified by:

get in interface Mapping<Block<?,?>,V>

Parameters:

block - the block.

Returns:

the associated value.

put

public V put(Block<?,?> block,
             V value)

Stores a value.

Specified by:

put in interface MutableMapping<Block<?,?>,V>

Parameters:

block - the associated block.

value - the value.

values

public Collection<V> values()

Retrieves all values that are stored in this map.

Returns:

the values that are stored in this map.