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

import alloy.bool.BooleanFormula;
import alloy.util.ObjID;

public abstract class Transl extends ObjID
{
    public abstract List getBooleanFormulas();
    
    public abstract String interpret(boolean[] bools);
    
    public boolean isConstant() {
	Iterator iterator = getBooleanFormulas().iterator();
	while (iterator.hasNext()) {
	    if (!((BooleanFormula) iterator.next()).isConst())
		return false;
	}
	return true;
    }
    
    public boolean isConstantValued() {
	Iterator iterator = getBooleanFormulas().iterator();
	while (iterator.hasNext()) {
	    if (!((BooleanFormula) iterator.next()).isConstantValued())
		return false;
	}
	return true;
    }
}