/FileExtraction/Java_unseen/cpn-io_cpn-js/backend/org.cpntools.accesscpn.cosimulation/src/org/cpntools/accesscpn/cosimulation/DataStore.java
package org.cpntools.accesscpn.cosimulation;

import java.util.Collection;

import org.cpntools.accesscpn.engine.highlevel.instance.cpnvalues.CPNValue;

public interface DataStore {
	void addValue(CPNValue value);

	Collection<CPNValue> getValues();

	boolean isChanged();

	boolean isClosed();

	boolean removeValue(CPNValue token);

	void setValues(Collection<CPNValue> values);
}
