Deprecated API

Contents

• Methods

Deprecated Methods

Method	Description
net.automatalib.common.smartcollection.SmartCollection.remove(Object)	use SmartCollection.remove(ElementReference) instead
net.automatalib.graph.impl.SimpleMapGraph.setNodeProperty(N, N)