/* BoolVarAllocator - Decompiled by JODE
 * Visit http://jode.sourceforge.net/
 */
package alloy.transl;
import java.util.ArrayList;
import java.util.List;

import alloy.bool.BooleanFormula;

public class BoolVarAllocator
{
    private int numVarsAllocated = 0;
    private List _varConstraints = new ArrayList();
    
    public int getNumAllocatedVars() {
	return numVarsAllocated;
    }
    
    public int allocBoolVar() {
	return ++numVarsAllocated;
    }
    
    public BooleanFormula getVarConstraints() {
	return BooleanFormula.makeAnd((BooleanFormula[])
				      _varConstraints
					  .toArray(new BooleanFormula[0]));
    }
    
    public void addVarConstraint(BooleanFormula booleanformula) {
	_varConstraints.add(booleanformula);
    }
}