package rapanui.core;

import java.util.Map;

import rapanui.dsl.Formula;
import rapanui.dsl.Rule;
import rapanui.dsl.Term;

public class RuleApplication extends Justification {
	private final Rule appliedRule;
	private final Map<String, Term> variableTranslation;
	private final Justification[] premiseJustifications;

	public RuleApplication(
			Formula justifiedFormula,
			Rule appliedRule,
			Map<String, Term> variableTranslation,
			Justification[] premiseJustifications) {
		super(justifiedFormula);

		assert appliedRule !=  null;
		assert variableTranslation != null;
		assert premiseJustifications != null;

		this.appliedRule = appliedRule;
		this.variableTranslation = variableTranslation;
		this.premiseJustifications = premiseJustifications;
	}

	public Rule getAppliedRule() {
		return appliedRule;
	}

	public Justification[] getPremiseJustifications() {
		return premiseJustifications;
	}
}

@@ -899,11 +899,98 @@
 ions;%0A%09%7D
+%0A%0A%09public Map%3CString, Term%3E getVariableTranslation() %7B%0A%09%09return variableTranslation;%0A%09%7D
 %0A%7D%0A

Add missing getter for RuleApplication.variableTranslation