/**
* Convenience method to extract the names of inputs from an inputs explanation.
*
* @param
* @return
*/
public static List<String> inputsToLabels(Reason inputs) {
// doesn't matter if Conjunction or Disjunction, both are List<Expression>
List<String> list = new ArrayList<String>();
for (Parameter<?> literal : inputs) {
String label = literal.getName();
list.add(label);
}
return list;
}
