255256257258259260261262263264265
private Alphabet makeVertexMap(ArrayList vars) { Alphabet map = new Alphabet (vars.size (), Variable.class); map.lookupIndices(vars.toArray(), true); return map; } private static int sepsetSize(BitVarSet[] pair)