// File: /workspace/github_cpp_makefile_star2_O3/DaCasBe[P]Gestion-de-asignaturas-mediante-arboles-binarios-ordenados/funcionesAuxiliares.cpp
// Function: ed::borrarEstudianteDeAsignatura(ed::Asignatura&)
void ed::borrarEstudianteDeAsignatura(ed::Asignatura &asignatura){
	if(asignatura.estaVacia()){ //La asignatura está vacía
		std::cout << std::endl << BIRED << "Error: no hay ningún estudiante cargado" << RESET << std::endl;
	}
	
	else{ //La asignatura no está vacía
		bool control;
		std::string nombre;
		std::string apellidos;
		ed::Estudiante estudiante;

		//Pedimos al usuario el nombre y los apellidos del estudiante a borrar
		std::cout << BIYELLOW << "Introduzca el nombre y los apellidos del estudiante" << RESET << std::endl;
		std::cout << IYELLOW << "Nombre: " << RESET;
		std::getline(std::cin,nombre);
		std::cout << IYELLOW << "Apellidos: " << RESET;
		std::getline(std::cin,apellidos);

		control=asignatura.existeEstudiante(nombre,apellidos);	

		if(control){ //Existe el estudiante indicado por el usuario
			asignatura.borrarEstudiante(nombre,apellidos); //Borramos el estudiante indicado

			control=asignatura.existeEstudiante(nombre,apellidos);	

			if(control){ //No se ha borrado el estudiante indicado
				std::cout << std::endl << BIRED << "Error: el estudiante no ha podido ser borrado" << RESET << std::endl;
			}

			else{ //Se ha borrado el estudiante indicado
				std::cout << std::endl << CYAN << "El estudiante ha sido borrado correctamente" << RESET << std::endl;
			}
		}	

		else{ //No existe el estudiante indicado por el usuario
			std::cout << std::endl << BIRED "Error: el estudiante "<< nombre << " " << apellidos << " no pertenece a la asignatura" << RESET;
		}
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xd8, %rsp
movq %rdi, %rbx
movq (%rdi), %rax
callq *0x10(%rax)
testb %al, %al
je 0x6ca3
movq 0x63cb(%rip), %rbx      # 0xcfd0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2150
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2100
movq %rax, %rbx
leaq 0x2df2(%rip), %rsi      # 0x9a28
movl $0x7, %edx
movq %rax, %rdi
callq 0x2190
leaq 0x2e32(%rip), %rsi      # 0x9a7c
movl $0x28, %edx
movq %rbx, %rdi
callq 0x2190
leaq 0x3151(%rip), %rsi      # 0x9daf
movl $0x4, %edx
movq %rbx, %rdi
callq 0x2190
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2150
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
addq $0xd8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x2100
leaq -0x58(%rbp), %r12
movq %r12, -0x10(%r12)
xorl %eax, %eax
movq %rax, -0x8(%r12)
movb %al, (%r12)
leaq -0x38(%rbp), %r13
movq %r13, -0x10(%r13)
movq %rax, -0x8(%r13)
movb %al, (%r13)
leaq -0x98(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x2b48(%rip), %rdx      # 0x9821
leaq -0xa8(%rbp), %rdi
movq %rdx, %rsi
callq 0x38a8
leaq -0x78(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x2b2a(%rip), %rdx      # 0x9821
leaq -0x88(%rbp), %rdi
movq %rdx, %rsi
callq 0x38a8
leaq -0xf8(%rbp), %rdi
leaq -0xa8(%rbp), %rsi
leaq -0x88(%rbp), %rdx
xorps %xmm0, %xmm0
xorps %xmm1, %xmm1
callq 0x3dbe
movq -0x88(%rbp), %rdi
cmpq %r15, %rdi
je 0x6d37
callq 0x2140
movq -0xa8(%rbp), %rdi
cmpq %r14, %rdi
je 0x6d48
callq 0x2140
movq 0x6281(%rip), %rdi      # 0xcfd0
leaq 0x2cca(%rip), %rsi      # 0x9a20
movl $0x7, %edx
callq 0x2190
movq 0x6269(%rip), %rdi      # 0xcfd0
leaq 0x2ee0(%rip), %rsi      # 0x9c4e
movl $0x33, %edx
callq 0x2190
movq 0x6251(%rip), %r14      # 0xcfd0
leaq 0x3029(%rip), %rsi      # 0x9daf
movl $0x4, %edx
movq %r14, %rdi
callq 0x2190
movq (%r14), %rax
addq -0x18(%rax), %r14
movq %r14, %rdi
movl $0xa, %esi
callq 0x2150
movsbl %al, %esi
movq 0x621f(%rip), %rdi      # 0xcfd0
callq 0x2030
movq %rax, %rdi
callq 0x2100
movq 0x620b(%rip), %rdi      # 0xcfd0
leaq 0x223c(%rip), %rsi      # 0x9008
movl $0x7, %edx
callq 0x2190
movq 0x61f3(%rip), %rdi      # 0xcfd0
leaq 0x22a4(%rip), %rsi      # 0x9088
movl $0x8, %edx
callq 0x2190
movq 0x61db(%rip), %rdi      # 0xcfd0
leaq 0x2fb3(%rip), %rsi      # 0x9daf
movl $0x4, %edx
callq 0x2190
movq 0x61d3(%rip), %rdi      # 0xcfe0
movq (%rdi), %rax
addq -0x18(%rax), %rdi
movl $0xa, %esi
callq 0x2150
movsbl %al, %edx
movq 0x61b8(%rip), %r15      # 0xcfe0
leaq -0x68(%rbp), %rsi
movq %r15, %rdi
callq 0x2260
movq 0x6195(%rip), %rdi      # 0xcfd0
leaq 0x21c6(%rip), %rsi      # 0x9008
movl $0x7, %edx
callq 0x2190
movq 0x617d(%rip), %rdi      # 0xcfd0
leaq 0x223f(%rip), %rsi      # 0x9099
movl $0xb, %edx
callq 0x2190
movq 0x6165(%rip), %r14      # 0xcfd0
leaq 0x2f3d(%rip), %rsi      # 0x9daf
movl $0x4, %edx
movq %r14, %rdi
callq 0x2190
movq (%r15), %rax
addq -0x18(%rax), %r15
movq %r15, %rdi
movl $0xa, %esi
callq 0x2150
movsbl %al, %edx
movq 0x6143(%rip), %rdi      # 0xcfe0
leaq -0x48(%rbp), %rsi
callq 0x2260
movq (%rbx), %rax
leaq -0x68(%rbp), %rsi
leaq -0x48(%rbp), %rdx
movq %rbx, %rdi
callq *0x20(%rax)
testb %al, %al
je 0x6f6c
movq (%rbx), %rax
leaq -0x68(%rbp), %rsi
leaq -0x48(%rbp), %rdx
movq %rbx, %rdi
callq *0x50(%rax)
movq (%rbx), %rax
leaq -0x68(%rbp), %rsi
leaq -0x48(%rbp), %rdx
movq %rbx, %rdi
callq *0x20(%rax)
movq (%r14), %rcx
addq -0x18(%rcx), %r14
testb %al, %al
je 0x7015
movq %r14, %rdi
movl $0xa, %esi
callq 0x2150
movsbl %al, %esi
movq 0x60c9(%rip), %rdi      # 0xcfd0
callq 0x2030
movq %rax, %rdi
callq 0x2100
movq %rax, %rbx
leaq 0x2b0a(%rip), %rsi      # 0x9a28
movl $0x7, %edx
movq %rax, %rdi
callq 0x2190
leaq 0x2f96(%rip), %rsi      # 0x9ec8
movl $0x2d, %edx
movq %rbx, %rdi
callq 0x2190
leaq 0x2e69(%rip), %rsi      # 0x9daf
movl $0x4, %edx
movq %rbx, %rdi
callq 0x2190
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2150
jmp 0x708c
movq (%r14), %rax
addq -0x18(%rax), %r14
movq %r14, %rdi
movl $0xa, %esi
callq 0x2150
movsbl %al, %esi
movq 0x6046(%rip), %rdi      # 0xcfd0
callq 0x2030
movq %rax, %rdi
callq 0x2100
movq %rax, %rbx
leaq 0x2f81(%rip), %rsi      # 0x9f22
movl $0x1c, %edx
movq %rax, %rdi
callq 0x2190
movq -0x68(%rbp), %rsi
movq -0x60(%rbp), %rdx
movq %rbx, %rdi
callq 0x2190
movq %rax, %rbx
leaq 0x2858(%rip), %rsi      # 0x9820
movl $0x1, %edx
movq %rax, %rdi
callq 0x2190
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
movq %rbx, %rdi
callq 0x2190
movq %rax, %rbx
leaq 0x2c93(%rip), %rsi      # 0x9c82
movl $0x1d, %edx
movq %rax, %rdi
callq 0x2190
leaq 0x2dac(%rip), %rsi      # 0x9daf
movl $0x4, %edx
movq %rbx, %rdi
callq 0x2190
jmp 0x709f
movq %r14, %rdi
movl $0xa, %esi
callq 0x2150
movsbl %al, %esi
movq 0x5fa4(%rip), %rdi      # 0xcfd0
callq 0x2030
movq %rax, %rdi
callq 0x2100
movq %rax, %rbx
leaq 0x2a10(%rip), %rsi      # 0x9a53
movl $0x7, %edx
movq %rax, %rdi
callq 0x2190
leaq 0x2e9f(%rip), %rsi      # 0x9ef6
movl $0x2b, %edx
movq %rbx, %rdi
callq 0x2190
leaq 0x2d44(%rip), %rsi      # 0x9daf
movl $0x4, %edx
movq %rbx, %rdi
callq 0x2190
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2150
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2100
leaq -0xf8(%rbp), %rdi
callq 0x3508
movq -0x48(%rbp), %rdi
cmpq %r13, %rdi
je 0x70b9
callq 0x2140
movq -0x68(%rbp), %rdi
cmpq %r12, %rdi
je 0x70c7
callq 0x2140
addq $0xd8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x7107
movq %rax, %rbx
movq -0x88(%rbp), %rdi
cmpq %r15, %rdi
je 0x70f4
callq 0x2140
jmp 0x70f4
movq %rax, %rbx
movq -0xa8(%rbp), %rdi
cmpq %r14, %rdi
je 0x711b
callq 0x2140
jmp 0x711b
movq %rax, %rbx
jmp 0x711b
movq %rax, %rbx
leaq -0xf8(%rbp), %rdi
callq 0x3508
movq -0x48(%rbp), %rdi
cmpq %r13, %rdi
je 0x7129
callq 0x2140
movq -0x68(%rbp), %rdi
cmpq %r12, %rdi
je 0x7137
callq 0x2140
movq %rbx, %rdi
callq 0x2230
movq %rax, %rdi
callq 0x361e
nop