frenetic-lang/frenetic — pull request #139 by seliopou (2013-11-06 16:32:17+00:00)
Title: Complete implementation of Automaton-based dehopification

This pull request completes the implementation of automaton-based dehopification. The algorithm now returns an ingress and egress policy. Both assume that a packet outside of the network is on vlan `0`. The ingress policy will check for packets outside of the network and set the proper initial state for the automaton. The egress policy will check if the automaton is in a final state, and will eject it from the network if it is, i.e., set its vlan back to `0`.

These policies should be combined with the local switch policy `p` in the following way:

```
(ingress | id); p; (egress | id)
```

With this pull request, the `katnetic` front-end now prints all switch policies, combined with ingress and egress policies, and its corresponding flowtable.