VariableState.java

package edu.udel.cis.vsl.civl.slice.common;

import edu.udel.cis.vsl.civl.model.IF.variable.Variable;
import edu.udel.cis.vsl.civl.state.IF.State;

/**
 * Wrapper class for Variables.
 * 
 * @author mgerrard
 *
 */

public class VariableState {
	public Variable variable;
	public State state;
	public int pid;
}