# atomic_predicates_for_transformers

**Repository Path**: yagami97/atomic_predicates_for_transformers

## Basic Information

- **Project Name**: atomic_predicates_for_transformers
- **Description**: No description available
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 1
- **Created**: 2025-05-05
- **Last Updated**: 2025-05-05

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

This folder includes code of atomic predicates for transformers, and datasets that are used to run experiments in the paper. 

It includes the following two subfolders:

# src/
* common/: Includes parsers that convert ACLs and forwarding tables to binary decision diagrams (BDDs); and algorithms that implement operations of atomic predicates for transformers. In particular, 
	* BDDACLWrapper.java converts ACL and IPv4 and v6 forwarding rules to BDDs; and implements packet transformation operations (packet translation, encapsulation and de-encapsulation) using BDDs; 


* jdd/: the BDD library. The version included here was released in February 2012 (see jdd/Version.java). The most recent version can be found at https://bitbucket.org/vahidi/jdd/wiki/Home

* transformer/: Includes the algorithm that computes atomic predicates for transformers, and code that runs experiments on datasets and collects performance metrics.

# datasets/

* Stanford dataset. 
	* stconfig.zip: The raw configuration files of Stanford network.
	* st.zip: Forwarding rules and other rules extracted from the raw configuration files. The files with suffix 'notcomp' means that the forwarding tables are not compressed.

* Internet2 dataset. 
	* i2old.zip: Includes forwarding rules and the topology of Internet2. Data was downloaded in 2013.
	* i2_ipinip_tunnels: The IP-in-IP tunnels added to Internet2.
	* i2_alltunnels: The MPLS tunnels added to Internet2.

* Provider cone dataset.
	* 37684.zip: The forwarding tables of all routers in the provider cone.
	* 37684_ipiniptunnels: The IP-in-IP tunnels added to the provider cone dataset.
	* 37684_mpls_tunnels: The MPLS tunnels added to the provider cone dataset.
	* tier1: The list of tier1 ASes.