Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-09-02 17:30:03 -0700 (Fri, 02 Sep 2005)
Revision: 7698
Log message:
*** WARNING: Breaks binary compatibility ***
Implemented the "Operator" parameters that allow imbedding reflected
"operators" into terms. This is similar to the recently introduces Shape
parameters.