DesignCraft / src / main / java / models / objectOrientedTransfer / StatefulObjectNode.java

package models.objectOrientedTransfer;

import models.algebra.Symbol.Type;
import models.deltaAlgebra.ObjectNode;

public class StatefulObjectNode extends ObjectNode {
	private Type stateType = null;

	public StatefulObjectNode(String name) {
		super(name);
	}
}