// Path: src/com/juliasoft/beedeedee/factories/ERFactory.java
// public static class EquivResult {
// 	private BitSet entailed;
// 	private BitSet disentailed;
// 	private ArrayList<Pair> equiv;
// 	private final static EquivResult emptyEquivResult = new EquivResult();
// 
// 	private EquivResult() {
// 		this(new BitSet(), new BitSet(), new ArrayList<Pair>());
// 	}
// 
// 	private EquivResult(EquivResult parent) {
// 		this(parent.entailed, parent.disentailed, parent.equiv);
// 	}
// 
// 	private EquivResult(BitSet entailed, BitSet disentailed, ArrayList<Pair> equiv) {
// 		this.entailed = entailed;
// 		this.disentailed = disentailed;
// 		this.equiv = equiv;
// 	}
// }


import java.util.Arrays;
import com.juliasoft.beedeedee.factories.ERFactory.EquivResult;
package com.juliasoft.beedeedee.factories;



public class EquivCache {
	private final int[] bdds;
// Path: src/com/juliasoft/beedeedee/factories/ERFactory.java
// public static class EquivResult {
// 	private BitSet entailed;
// 	private BitSet disentailed;
// 	private ArrayList<Pair> equiv;
// 	private final static EquivResult emptyEquivResult = new EquivResult();
// 
// 	private EquivResult() {
// 		this(new BitSet(), new BitSet(), new ArrayList<Pair>());
// 	}
// 
// 	private EquivResult(EquivResult parent) {
// 		this(parent.entailed, parent.disentailed, parent.equiv);
// 	}
// 
// 	private EquivResult(BitSet entailed, BitSet disentailed, ArrayList<Pair> equiv) {
// 		this.entailed = entailed;
// 		this.disentailed = disentailed;
// 		this.equiv = equiv;
// 	}
// }


// Path: src/com/juliasoft/beedeedee/factories/EquivCache.java
import java.util.Arrays;
import com.juliasoft.beedeedee.factories.ERFactory.EquivResult;

package com.juliasoft.beedeedee.factories;



public class EquivCache {
	private final int[] bdds;
	private final EquivResult[] results;