Vehicle.java

package org.uva.sea.ql.encoders.visitortest;

public interface Vehicle extends UberNode {

	double speed();
}