[CZT-Devel] zlive sets

[Leo F. <le...@cs...>]

Hi all,

In zlive set implementations for EvalSet interface, I noticed there are 
corresponding visitor classes
(eg. FlatDiscreteSetVisitor). I couldn't find any examples (or Javadoc) 
of using such visitors.
For waht purpose they were introduced? By allowing visiting, I assume it 
as general form to allow operations over sets (Operation Adder Pattern).
That is, one can use the visitor to add elements, remove elements, order 
elements, transform predicates, print the set, and so on. Is that right ?

Thanks,
Leo

-- 
-------------------------------------------
Leonardo Freitas
PhD - Circus Model Checking
Computer Science @ York University
Formal Methods - HISE Group
HISE - High Integrity Software Engineering
http://www.cs.york.ac.uk/~leo
-------------------------------------------
Beyond reason, there is no court to appeal
-------------------------------------------