/* RelationAllocator - Decompiled by JODE
 * Visit http://jode.sourceforge.net/
 */
package alloy.transl;
import alloy.ast.LeafExpr;

public interface RelationAllocator
{
    public ExprTransl allocRelation(LeafExpr leafexpr, int[] is);
    
    public BoolVarAllocator getBoolVarAllocator();
}