I
ptables_
S
emantics
List_Misc
Negation_Type
WordInterval_Lists
Repeat_Stabilize
Firewall_Common
Semantics
Matching
Ruleset_Update
Call_Return_Unfolding
Ternary
Matching_Ternary
Semantics_Ternary
Datatype_Selectors
IpAddresses
L4_Protocol_Flags
Ports
Conntrack_State
Tagged_Packet
Common_Primitive_Syntax
Unknown_Match_Tacs
Common_Primitive_Matcher_Generic
Common_Primitive_Matcher
Example_Semantics
Alternative_Semantics
Semantics_Stateful
Semantics_Goto
Negation_Type_DNF
Matching_Embeddings
Fixed_Action
Normalized_Matches
Negation_Type_Matching
Primitive_Normalization
MatchExpr_Fold
Common_Primitive_Lemmas
Ports_Normalize
IpAddresses_Normalize
Interfaces_Normalize
Word_Upto
Protocols_Normalize
Remdups_Rev
Ipassmt
No_Spoof
Common_Primitive_toString
Routing_IpAssmt
Output_Interface_Replace
Interface_Replace
Optimizing
Transform
Conntrack_State_Transform
Primitive_Abstract
SimpleFw_Compliance
Semantics_Embeddings
Iptables_Semantics
Code_Interface
Parser6
No_Spoof_Embeddings
Parser
Code_haskell
Access_Matrix_Embeddings
Documentation