Package org.batfish.datamodel

package org.batfish.datamodel
Lightweight IPv4 data model types used by symbolic encodings.

This package defines immutable network-addressing primitives consumed by BDD/SAT encoders and label conversion logic:

  • Ip: IPv4 address value type and bit-level helpers
  • Prefix: IPv4 prefix representation and prefix operations
  • IpWildcard: wildcard/mask-based IPv4 set representation

Together, they provide canonical parsing and comparison semantics for packet-header domain constraints.

  • Classes
    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