/* This file is part of the db4o object database http://www.db4o.com
Copyright (C) 2004 - 2011 Versant Corporation http://www.versant.com
db4o is free software; you can redistribute it and/or modify it under
the terms of version 3 of the GNU General Public License as published
by the Free Software Foundation.
db4o is distributed in the hope that it will be useful, but WITHOUT ANY
WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
for more details.
You should have received a copy of the GNU General Public License along
with this program. If not, see http://www.gnu.org/licenses/. */
package EDU.purdue.cs.bloat.tree;
import java.util.*;
public class EliminationInformation {
public Vector Occurences;
public int type1s;
public int uniqueNumber;
static int nextUN = 0;
public EliminationInformation() {
uniqueNumber = EliminationInformation.nextUN;
EliminationInformation.nextUN++;
Occurences = new Vector();
type1s = 0;
}
public String toString() {
return uniqueNumber + "+" + type1s + Occurences.toString();
}
}