renamed class Plantelides to Pantelides;
added missing inline keyword in an operator function