Uses of Package
org.batfish.datamodel

Packages that use org.batfish.datamodel

Package	Description
org.batfish	BDD-based symbolic primitives adapted for MCP network-policy reasoning.
org.batfish.datamodel	Lightweight IPv4 data model types used by symbolic encodings.
org.mcp.variables.statics

Classes in org.batfish.datamodel used by org.batfish

Class	Description
Ip	An IPv4 address
IpWildcard	An IP wildcard consisting of a IP address and a wildcard (also expressed as an IP address)
Prefix	An IPv4 Prefix

Classes in org.batfish.datamodel used by org.batfish.datamodel

Class	Description
Ip	An IPv4 address
IpWildcard	An IP wildcard consisting of a IP address and a wildcard (also expressed as an IP address)
Prefix	An IPv4 Prefix

Classes in org.batfish.datamodel used by org.mcp.variables.statics

Class	Description
Prefix	An IPv4 Prefix