@Override
public List<? extends ElkAxiom> getPremises() {
int premiseCount = elkInference_.getPremiseCount();
List<ElkAxiom> result = new ArrayList<ElkAxiom>(premiseCount);
for (int i = 0; i < premiseCount; i++) {
result.add(elkInference_.getPremise(i, CONCLUSION_FACTORY_));
}
return result;
}
@Override
public ElkAxiom getConclusion() {
return elkInference_.getConclusion(CONCLUSION_FACTORY_);
}
@Override
public String getName() {
return elkInference_.getName();
}
