@Override
protected boolean createKeys(List<AbstractNode> toPopulate) {
if (goalNode.getGoal().getPremisesCount() > 0
&& goalNode.getGoal().getPremisesFormula().isEmpty()) {
toPopulate.add(new PremisesNode(goalNode));
}
if (goalNode.getGoal().getConclusion() != null) {
toPopulate.add(new ConclusionNode(goalNode));
}
return true;
}
private PremiseNode(GeneralGoalNode parentGoal, int premiseIndex) {
super(parentGoal.getGoals(), parentGoal.getGoalIndex(), Children.LEAF);
this.premiseIndex = premiseIndex;
this.setDisplayName(Bundle.PN_premise_display_name(premiseIndex + 1));
}
private PremisesNode(GeneralGoalNode parentGoal) {
super(parentGoal.getGoals(), parentGoal.getGoalIndex(), Children.LEAF);
setDisplayName(Bundle.PN_premises_display_name());
setChildren(Children.create(new PremisesFactory(this), false));
}
private ConclusionNode(GeneralGoalNode parentGoal) {
super(parentGoal.getGoals(), parentGoal.getGoalIndex(), Children.LEAF);
setDisplayName(Bundle.FN_conclusion_display_name());
}
