Modifications to the Operator classes done during the WG meeting. 	modified:   operator.py
Modifications to the Operator classes done during the WG meeting.
	modified:   operator.py

recski/pymachine,recski/pymachine,kornai/pymachine,Eszti/pymachine,kornai/pymachine,Eszti/pymachine