Trace.java

package edu.udel.cis.vsl.tass.trace;

import java.util.Stack;

public class Trace<TRANSITIONSEQUENCE> {
	
	private Stack<TRANSITIONSEQUENCE> mStates;
	
	public Trace(Stack<TRANSITIONSEQUENCE> states){
		mStates = states;
	}
	
	public Stack<TRANSITIONSEQUENCE> getStates(){
		return mStates;
	}
	
	public void setStates(Stack<TRANSITIONSEQUENCE> states){
		mStates = states;
	}
	
}