Example 1 with ForwardingAnalysis
use of org.batfish.datamodel.ForwardingAnalysis in project batfish by batfish.
the class Batfish method synthesizeDataPlane.
public Synthesizer synthesizeDataPlane() {
SortedMap<String, Configuration> configurations = loadConfigurations();
DataPlane dataPlane = loadDataPlane();
ForwardingAnalysis forwardingAnalysis = loadForwardingAnalysis(configurations, dataPlane);
return synthesizeDataPlane(configurations, dataPlane, forwardingAnalysis, new HeaderSpace(), false);
}
Also used :
DataPlane(org.batfish.datamodel.DataPlane)
HostConfiguration(org.batfish.representation.host.HostConfiguration)
Configuration(org.batfish.datamodel.Configuration)
ImmutableConfiguration(org.apache.commons.configuration2.ImmutableConfiguration)
AwsConfiguration(org.batfish.representation.aws.AwsConfiguration)
IptablesVendorConfiguration(org.batfish.representation.iptables.IptablesVendorConfiguration)
VendorConfiguration(org.batfish.vendor.VendorConfiguration)
HeaderSpace(org.batfish.datamodel.HeaderSpace)
ForwardingAnalysis(org.batfish.datamodel.ForwardingAnalysis)
Aggregations
ImmutableConfiguration (org.apache.commons.configuration2.ImmutableConfiguration)1
Configuration (org.batfish.datamodel.Configuration)1
DataPlane (org.batfish.datamodel.DataPlane)1
ForwardingAnalysis (org.batfish.datamodel.ForwardingAnalysis)1
HeaderSpace (org.batfish.datamodel.HeaderSpace)1
AwsConfiguration (org.batfish.representation.aws.AwsConfiguration)1
HostConfiguration (org.batfish.representation.host.HostConfiguration)1
IptablesVendorConfiguration (org.batfish.representation.iptables.IptablesVendorConfiguration)1
VendorConfiguration (org.batfish.vendor.VendorConfiguration)1
