if(c.getSourceFeatureSet().isEmpty() || c.getSinkFeatureSet().isEmpty())
continue;
Feature sourceFeature = c.getSourceFeatureSet().iterator().next();
AtomedFeature sourceAtomedFeature = allAtomedFeatures.get(sourceFeature);
Set sinkFeature = c.getSinkFeatureSet();
VPConstraintType type = c.getType();
int tempBdd = -1;
// ����sink��BDD
if (type == VPConstraintType.AllVP){
Iterator i = sinkFeature.iterator();