eit_forward.n_p

property eit_forward.n_p: int

Number of injection paterns in the protocol.

Return type:

int