Update.java

package org.overture.vdm2jml.tests.util;

public enum Update
{
	ASSIGN, SET_CALL, MAP_SEQ_UPDATE
}