Transition.java

package edu.udel.cis.vsl.tass.transition.impl;

import edu.udel.cis.vsl.tass.dynamic.IF.value.ValueIF;
import edu.udel.cis.vsl.tass.model.IF.ModelIF;
import edu.udel.cis.vsl.tass.transition.IF.TransitionIF;

public abstract class Transition implements TransitionIF {

	private ValueIF pathCondition;

	Transition(ValueIF pathCondition) {
		this.pathCondition = pathCondition;
	}

	public ValueIF pathCondition() {
		return pathCondition;
	}

	public abstract ModelIF model();
}