randoop.util

Class MultiSet<E>

java.lang.Object

randoop.util.MultiSet<E>

public class MultiSet<E>
extends java.lang.Object

A multiset: each value may appear multiple times.

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Map<E,java.lang.Integer>	frequencyMap How often each element appears in this multiset.

Constructor Summary

Constructors

Constructor and Description
MultiSet() Creates a new, empty MultiSet.

Method Summary

Modifier and Type	Method and Description
void	add(E obj)
java.util.Set<E>	getElements()
boolean	isEmpty()
void	remove(E obj)
void	removeAllInstances(java.util.Set<E> values)

Methods inherited from class java.lang.Object

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

Field Detail

frequencyMap

private final java.util.Map<E,java.lang.Integer> frequencyMap

How often each element appears in this multiset.

Constructor Detail

MultiSet

public MultiSet()

Creates a new, empty MultiSet.

Method Detail

add

public void add(E obj)

remove

public void remove(E obj)

getElements

public java.util.Set<E> getElements()

isEmpty

public boolean isEmpty()

removeAllInstances

public void removeAllInstances(java.util.Set<E> values)