Download Failures-Divergence Refinement

Appendix C: Direct control of FDR
74
C.3.5 FDRSet objects
FDRSets are sets of ints which are implemented using FDR’s internal set representation.
This allows much faster interaction with FDR than translating the set into a tcl representation
and back again.
Except for insert, all of the methods on an FDRSet object are functional in nature; that is
they return a newly created value, without modifying their arguments.
FDRSet insert list(int)
Inserts the list of ints given as an argument into this FDRSet object.
FDRSet union FDRSet
Returns the union of this FDRSet and the argument.
FDRSet diff FDRSet
Returns the set difference of this FDRSet and the argument.
FDRSet inter FDRSet
Returns the intersection of this FDRSet and the argument.
FDRSet equals FDRSet
Returns true if the contents of this FDRSet and the argument are equal.
FDRSet contents
Return the contents of the FDRSet as a tcl list.