public String getConnectionsInfo(){
        String str = "Conditions:";
        for(String id: conditions){
            str += id+" "; 
        }
        str += "\n";
        
        for(int i=0;i<connections.size();i++){
            Connection conn = connections.get(i);
            str += "Z"+String.valueOf(conn.from)+" -> Z" +String.valueOf(conn.to)+"| ";
            for (int c : conn.conditions){
                str += String.valueOf(c)+" ";
            }
            if(codes != null){
                str += "|" + SynchroState.codeToString(codes.get(conn.from));
            }
            if(conn.signalId != null){
                str += "|" + conn.signalId;
            }else{
                str += "|" + 0;
            }
            str += "\n";
        }
        
        return str;
    }