使用和不使用推送调用在UFBV上对Z3进行增量调用(Incremental calls to Z3 on UFBV with and without push calls)

 关于jQuery的一个好处是隐式循环。 大多数。集合上的.each操作都可以使用选择器或过滤来完成。 而不是写作 
 
$('.filter_checkbox').each(function (index, checkbox){
            if($(checkbox).prop('checked')){ /* do stuff */ }
});
 
 你可以写 
 
$('.filter_checkobx:checked').each( function(index, checkbox){ /* do stuff */ })
 
 所以你只能使用选中的输入。 
 
 要获得subcategory属性等于输入value属性的div，您可以简单地使用 
 
$('div[subcategory=' + checkbox.val() +']');
 
 或者全部获取并按属性值过滤 
 
$('div[subcategory]').filter( function(index, category){
    return $(category).attr('subcategory') == checkbox.val();
});
 
 我使用上面的原则重新创建了代码（还有一些）， 在jsfiddle上有一个演示 ，这里有一个注释版本： 
 
$('#browse_options').on("change", ".filter_checkbox", function(){
    // get the subcategory divs to use later, 
    var categories = $('div[subcategory]'); 
    // make a list of the values of checked checkboxes.
    var selected_values = $('.filter_checkbox:checked').toArray().map( function( checkbox ){
       return checkbox.value; 
    });

    categories
         // remove style and hide all the divs
        .removeAttr('style')
        .hide()
         // find the divs with subcategory attribute in the list of selected values
        .filter( function( index, cat ){
             return selected_values.indexOf( $(cat).attr('subcategory') ) > -1;
        })
        // now show the divs in filtered collection
        .show();
});

One of the nice things about jQuery are implicit loops. Most .each operations on collections can be done using selectors or filtering. Instead of writing 
 
$('.filter_checkbox').each(function (index, checkbox){
            if($(checkbox).prop('checked')){ /* do stuff */ }
});
 
you can write
 
$('.filter_checkobx:checked').each( function(index, checkbox){ /* do stuff */ })
 
so you only work with the checked inputs.
 
To get the divs with subcategory attribute equal to input value attribute you can simply use
 
$('div[subcategory=' + checkbox.val() +']');
 
or get them all and filter by attribute value
 
$('div[subcategory]').filter( function(index, category){
    return $(category).attr('subcategory') == checkbox.val();
});
 
I've re-created the code using the above principles (and some more), there's a demo on jsfiddle and here's a commented version:
 
$('#browse_options').on("change", ".filter_checkbox", function(){
    // get the subcategory divs to use later, 
    var categories = $('div[subcategory]'); 
    // make a list of the values of checked checkboxes.
    var selected_values = $('.filter_checkbox:checked').toArray().map( function( checkbox ){
       return checkbox.value; 
    });

    categories
         // remove style and hide all the divs
        .removeAttr('style')
        .hide()
         // find the divs with subcategory attribute in the list of selected values
        .filter( function( index, cat ){
             return selected_values.indexOf( $(cat).attr('subcategory') ) > -1;
        })
        // now show the divs in filtered collection
        .show();
});