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

import alloy.ast.Formula;
import alloy.ast.LeafId;
import alloy.ast.Node;
import alloy.bool.BoolSwitch;

public interface TranslInfo extends ASTInfo
{
    public Formula getFormula();
    
    public BoolVarAllocator getBoolVarAllocator();
    
    public RelationAllocator getRelationAllocator();
    
    public Map getRelationExprsToTransls();
    
    public Transl getLeafTransl(LeafId leafid);
    
    public BoolSwitch getVarSwitch(LeafId leafid);
    
    public Transl getNodeTransl(Node node);
    
    public Map getRelationTransls();
    
    public void interpretRelations(boolean[] bools);
}