Пример #1
0
 @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;
 }
Пример #2
0
 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));
 }
Пример #3
0
 private PremisesNode(GeneralGoalNode parentGoal) {
   super(parentGoal.getGoals(), parentGoal.getGoalIndex(), Children.LEAF);
   setDisplayName(Bundle.PN_premises_display_name());
   setChildren(Children.create(new PremisesFactory(this), false));
 }
Пример #4
0
 private ConclusionNode(GeneralGoalNode parentGoal) {
   super(parentGoal.getGoals(), parentGoal.getGoalIndex(), Children.LEAF);
   setDisplayName(Bundle.FN_conclusion_display_name());
 }