public void addBranchCondition(String className,String methName,int branchIndex,IntegerConstraint c){
  Constraint<?> normalizedConstraint=normalizeConstraint(c);
  LinkedList<Constraint<?>> branch_supporting_constraints=new LinkedList<Constraint<?>>(currentSupportingConstraints);
  BranchCondition new_branch=new BranchCondition(className,methName,branchIndex,normalizedConstraint,branch_supporting_constraints);
  branchConditions.add(new_branch);
  currentSupportingConstraints.clear();
}

public void addBranchCondition ( String className , String methName , int branchIndex , IntegerConstraint c ) { Constraint < ? > normalizedConstraint = normalizeConstraint ( c ) ; LinkedList < Constraint < ? > > branch_supporting_constraints = new LinkedList < Constraint < ? > > ( currentSupportingConstraints ) ; BranchCondition new_branch = new BranchCondition ( className , methName , branchIndex , normalizedConstraint , branch_supporting_constraints ) ; branchConditions . add ( new_branch ) ; currentSupportingConstraints . clear ( ) ; }
add a new constraint to a branch condition
