public Map<HornClausePredicateSymbol, ArrayList<TermVariable>> getPredicateToVars(
Map<String, HornClausePredicateSymbol> predicateSymbols) {
final HashMap<HornClausePredicateSymbol, ArrayList<TermVariable>> res = new HashMap<>();
for (final ApplicationTerm predicate : predicates) {
final ArrayList<TermVariable> vars = new ArrayList<TermVariable>();
for (final Term par : predicate.getParameters()) {
vars.add((TermVariable) par);
}
res.put(getHornPredicateSymbol(predicate.getFunction(), predicateSymbols), vars);
}
return res;
}
@Override
public String toString() {
String res = "";
boolean first = true;
for (final ApplicationTerm t : predicates) {
if (!first) {
res += " && ";
}
res += t.toString();
first = false;
}
for (final Term t : transitions) {
if (!first) {
res += " && ";
}
res += t.toStringDirect();
first = false;
}
return '(' + res + ')';
}
