Uses of Class
org.batfish.datamodel.Prefix

Packages that use Prefix

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

Uses of Prefix in org.batfish

Methods in org.batfish with parameters of type Prefix

Modifier and Type	Method	Description
final net.sf.javabdd.BDD	BDDInteger.toBDD(Prefix prefix)	Build a constraint that matches the set of IPs contained by the input Prefix.

Uses of Prefix in org.batfish.datamodel

Fields in org.batfish.datamodel declared as Prefix

Modifier and Type	Field	Description
static final Prefix	Prefix.MULTICAST	Multicast IPs are in "244.0.0.0/4".
static final Prefix	Prefix.ZERO	A "0.0.0.0/0" prefix

Methods in org.batfish.datamodel that return Prefix

Modifier and Type	Method	Description
static Prefix	Prefix.create(Ip ip, int prefixLength)
static Prefix	Prefix.create(Ip address, Ip mask)
static Prefix	Prefix.longestCommonPrefix(Prefix p1, Prefix p2)	Return the longest prefix that contains both input prefixes.
static Prefix	Prefix.parse(String text)	Parse a Prefix from a string.
static Prefix	Prefix.strict(String prefixStr)	Parse a Prefix from a string.
Prefix	Ip.toPrefix()
Prefix	IpWildcard.toPrefix()

Methods in org.batfish.datamodel that return types with arguments of type Prefix

Modifier and Type	Method	Description
static Optional<Prefix>	Prefix.tryParse(String text)	Return an Optional Prefix from a string, or Optional.empty() if the string does not represent a Prefix.

Methods in org.batfish.datamodel with parameters of type Prefix

Modifier and Type	Method	Description
int	Prefix.compareTo(Prefix rhs)
boolean	Prefix.containsPrefix(Prefix prefix)
static IpWildcard	IpWildcard.create(Prefix prefix)
static Prefix	Prefix.longestCommonPrefix(Prefix p1, Prefix p2)	Return the longest prefix that contains both input prefixes.

Uses of Prefix in org.mcp.variables.statics

Constructors in org.mcp.variables.statics with parameters of type Prefix

Modifier	Constructor	Description
	PrefixLabel(Prefix value)

Constructor parameters in org.mcp.variables.statics with type arguments of type Prefix

Modifier	Constructor	Description
	PrefixSetLabel(Set<Prefix> value)