/** * Extracts relevant info for validation. */ private void processInfo() { // Extract relevant info from referenced files. this.knowledge.addAll(this.program.getKnowledge()); this.beliefs.addAll(this.program.getBeliefs()); this.goals.addAll(this.program.getGoals()); // Extract relevant info from macros. for (Macro macro : this.program.getMacros()) { processInfoMacro(macro); } // Extract relevant info from rules. for (Rule rule : this.program.getRules()) { processInfoRule(rule); } // Add goals in referenced files as goal definitions. for (Query query : this.program.getGoals()) { this.goalDbfs.addAll(query.toUpdate().getAddList()); } } }
if (msc != null) { for (MentalLiteral literal : msc.getAllLiterals()) { result.merge(attentionSet.insert(literal.getFormula().toUpdate()));
Update goal = query.toUpdate(); for (DatabaseFormula formula : goal.getAddList()) { try {
for (DatabaseFormula formula : lit.getFormula().toUpdate().getAddList()) { try { super.getGraph().add(formula, true, false);