src/uk/ac/ox/cs/pagoda/rules/UpperProgram.java


1
2
3
4
5
6
7
8
9
10
11
12

package uk.ac.ox.cs.pagoda.rules;

import org.apache.commons.io.FilenameUtils;

public abstract class UpperProgram extends ApproxProgram {

	@Override
	public String getOutputPath() {
		return FilenameUtils.concat(getDirectory(), "upper.dlog");
	}

}