コード例 #1
0
 public static List<AttributeRef> getFirstAttributesOfUniversalVariablesInConclusion(
     Dependency dependency) {
   List<AttributeRef> result = new ArrayList<AttributeRef>();
   List<FormulaVariable> universalVariable =
       DependencyUtility.getUniversalVariablesInConclusion(dependency);
   for (FormulaVariable formulaVariable : universalVariable) {
     AttributeRef firstAttribute =
         DependencyUtility.findFirstOccurrenceInFormula(
             dependency.getPremise(), formulaVariable.getPremiseRelationalOccurrences());
     //            LunaticUtility.addIfNotContained(result, firstAttribute);
     result.add(firstAttribute);
   }
   return result;
 }
コード例 #2
0
 public static List<String> findSourceAtoms(Dependency egd, Scenario scenario) {
   List<String> result = new ArrayList<String>();
   if (!DependencyUtility.hasSourceSymbols(egd)) {
     return result;
   }
   for (IFormulaAtom atom : egd.getPremise().getPositiveFormula().getAtoms()) {
     if (!(atom instanceof RelationalAtom)) {
       continue;
     }
     RelationalAtom relationalAtom = (RelationalAtom) atom;
     if (!relationalAtom.isSource()) {
       continue;
     }
     result.add(relationalAtom.getTableName());
   }
   return result;
 }