Patent ID: 7761397

Claim:
A computer-implemented rule processing system, comprising: a graphical interface configured to display a plurality of inputs corresponding to a plurality of attributes associated with a rule represented by a zero-suppressed binary decision diagram (ZDD); and a processor configured to automatically identify, according to the ZDD, at least one of the plurality of inputs as compliant with the rule responsive to selection of at least another of the plurality of inputs using the graphical interface; wherein the graphical interface is configured to display the at least one of the plurality of inputs and to indicate the at least one of the plurality of inputs as being either in a floating state or a fixed state responsive to an autoselect indication associated with at least one corresponding attribute or enumeration in the ZDD; wherein the fixed state is configured to indicate a fixed enumeration value for the at least one attribute or enumeration corresponding to the at least one of the plurality of inputs; and wherein the floating state is configured to indicate no fixed enumeration value for the attribute or enumeration corresponding to the at least one of the plurality of inputs.