for (Var var: nodeSets.keySet()) {
NodeSetConstraintBuilder nodeSet = (NodeSetConstraintBuilder) nodeSets.get(var);
if (nodeSet.isEmpty()) {
return Expression.FALSE;
}
expressions.add(nodeSet.constraint());
}
return Conjunction.create(expressions);
}
/**