epistemic-group-gossip-0.1.0.0
Please see the README on GitHub at https://github.com/RamonMeffert/epistemic-group-gossip#readme
Signatures
Modules
- GossipGraph Implements a graph structure for gossip and operations hereon, as defined in (Van Ditmarsch, 2017).
- GossipKnowledge Implements Knowledge Structures and Knowledge Transformers as defined in (Gattinger, 2018).
- GossipProtocol Implements different kinds of (epistemic) protocols for dynamic gossip.
- GossipState Implements the Gossip state, a slice in time denoting the state of a gossip graph and knowledge structure.
- GossipTypes Implements different utilitarian types used for dynamic epistemic gossip, together with some operations thereon.
- 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.
- Program The main entry point of the implementation.
- Util Implements some utility functions that are used throughout the implementation.