Add Simple Transformer and Optimized Transformer - Githubissues

Pathemeous / Symbolic-Gossip

Symbolic Model Checker for the Gossip Problem

GNU General Public License v2.0

2 stars 0 forks source link

Add Simple Transformer and Optimized Transformer #4

Closed Pathemeous closed 5 months ago

Pathemeous commented 5 months ago

This PR adds:

SimpleTransformer (following from definition of thesis)

includes modifications to the update function for the general case, to work specifically for gossip
includes part of the code from Haitian
includes a test case

Optimized Transformer

a file that provides functions doOptCall and afterOpt that simulate doing a round of optimize after each transformer application.
Optimize is defined in the Optimizable class (SMCDEL.Symbolic.S5)