nip.code_validation.rollout_analysis.ProverAnalyserMixin#

class nip.code_validation.rollout_analysis.ProverAnalyserMixin[source]#

Mixin class for analysing provers.

Methods Summary

relevant_agents_and_channels()

Get the relevant agents and channels for the analysis.

Attributes

protocol_handler

Methods

relevant_agents_and_channels() → Iterator[tuple[str, str]][source]#

Get the relevant agents and channels for the analysis.

Yields:

• agent_name (str) – The name of the agent.

• channel_name (str) – The name of the channel.