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;
}
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;
}