Signatures

Modules

•  GossipGraph Implements a graph structure for gossip and operations hereon, as defined in (Van Ditmarsch, 2017).epistemic-group-gossip-0.1.0.0
•  GossipKnowledge Implements Knowledge Structures and Knowledge Transformers as defined in (Gattinger, 2018).epistemic-group-gossip-0.1.0.0
•  GossipProtocol Implements different kinds of (epistemic) protocols for dynamic gossip.epistemic-group-gossip-0.1.0.0
•  GossipState Implements the Gossip state, a slice in time denoting the state of a gossip graph and knowledge structure.epistemic-group-gossip-0.1.0.0
•  GossipTypes Implements different utilitarian types used for dynamic epistemic gossip, together with some operations thereon.epistemic-group-gossip-0.1.0.0
•  PrintableBdd A wrapper module implementing a Binary Decision Diagram system that can be printed in either text or latex. This module internally uses the Data.HasCacBDD module.epistemic-group-gossip-0.1.0.0
•  Program The main entry point of the implementation.epistemic-group-gossip-0.1.0.0
•  Util Implements some utility functions that are used throughout the implementation.epistemic-group-gossip-0.1.0.0