32a33,34
> max_port_rank = 0
>
40a43,45
> if self.pairs.has_key("rank"):
> InPortDeclAST.max_port_rank = max(self.pairs["rank"],
> InPortDeclAST.max_port_rank)
128a134,136
>
> # Include max_rank to be used by StateMachine.py
> in_port["max_port_rank"] = InPortDeclAST.max_port_rank