Uses of Class
org.batfish.datamodel.IpWildcard
Packages that use IpWildcard
Package
Description
BDD-based symbolic primitives adapted for MCP network-policy reasoning.
Lightweight IPv4 data model types used by symbolic encodings.
-
Uses of IpWildcard in org.batfish
Methods in org.batfish with parameters of type IpWildcardModifier and TypeMethodDescriptionabstract net.sf.javabdd.BDDBDDInteger.toBDD(IpWildcard ipWildcard) Build a constraint that matches theIPsmatched by the inputIpWildcard.net.sf.javabdd.BDDMutableBDDInteger.toBDD(IpWildcard ipWildcard) -
Uses of IpWildcard in org.batfish.datamodel
Fields in org.batfish.datamodel declared as IpWildcardMethods in org.batfish.datamodel that return IpWildcardModifier and TypeMethodDescriptionstatic IpWildcardstatic IpWildcardstatic IpWildcardIpWildcard.ipWithWildcardMask(Ip address, long wildcardMask) static IpWildcardIpWildcard.ipWithWildcardMask(Ip address, Ip wildcardMask) static IpWildcardMethods in org.batfish.datamodel with parameters of type IpWildcardModifier and TypeMethodDescriptionintIpWildcard.compareTo(IpWildcard o) booleanIpWildcard.intersects(IpWildcard other) booleanIpWildcard.subsetOf(IpWildcard other) booleanIpWildcard.supersetOf(IpWildcard other)