EFM-SYMBEX : Operator
Source code structure
Interfaces
IOperator
Classes
Factories
Operator
as Smart Pointer