// File: /workspace/github_cpp_makefile_star2_O3/DaCasBe[P]Gestion-de-asignaturas-mediante-arboles-binarios-ordenados/funcionesAuxiliares.cpp
// Function: ed::consultarEstudianteDeAsignatura(ed::Asignatura&)
void ed::consultarEstudianteDeAsignatura(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
		std::string nombre;
		std::string apellidos;

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

		if(!asignatura.existeEstudiante(nombre,apellidos)){ //No existe el estudiante indicado por el usuario
			std::cout << std::endl << BIRED << "Error: el estudiante " << nombre << " " << apellidos << " no pertenece a la asignatura" << RESET << std::endl;
		}

		else{ //Existe el estudiante indicado por el usuario
			//Mostramos las notas del estudiante
			std::cout << std::endl << BBLUE << "Notas de " << asignatura.getEstudiante(nombre,apellidos).getNombre() << " " << asignatura.getEstudiante(nombre,apellidos).getApellidos() << RESET << std::endl;
			std::cout << BBLUE << "Teoría: " << BLUE << asignatura.getEstudiante(nombre,apellidos).getTeoria() << RESET << std::endl;
			std::cout << BBLUE << "Practíca: " << BLUE << asignatura.getEstudiante(nombre,apellidos).getPractica() << RESET << std::endl;
			std::cout << BBLUE << "Final: " << BLUE << asignatura.getEstudiante(nombre,apellidos).getFinal() << RESET << std::endl;
		}
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %rdi, %rbx
movq (%rdi), %rax
callq *0x10(%rax)
testb %al, %al
je 0x5334
movq 0x7d37(%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 0x475e(%rip), %rsi      # 0x9a28
movl $0x7, %edx
movq %rax, %rdi
callq 0x2190
leaq 0x479e(%rip), %rsi      # 0x9a7c
movl $0x28, %edx
movq %rbx, %rdi
callq 0x2190
leaq 0x4abd(%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 $0x48, %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)
movq 0x7c71(%rip), %rdi      # 0xcfd0
movq (%rdi), %rax
addq -0x18(%rax), %rdi
movl $0xa, %esi
callq 0x2150
movsbl %al, %esi
movq 0x7c56(%rip), %rdi      # 0xcfd0
callq 0x2030
movq %rax, %rdi
callq 0x2100
movq %rax, %r14
leaq 0x468f(%rip), %rsi      # 0x9a20
movl $0x7, %edx
movq %rax, %rdi
callq 0x2190
leaq 0x48a9(%rip), %rsi      # 0x9c4e
movl $0x33, %edx
movq %r14, %rdi
callq 0x2190
leaq 0x49f6(%rip), %rsi      # 0x9daf
movl $0x4, %edx
movq %r14, %rdi
callq 0x2190
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2150
movsbl %al, %esi
movq %r14, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2100
movq 0x7bdc(%rip), %rdi      # 0xcfd0
leaq 0x3c0d(%rip), %rsi      # 0x9008
movl $0x7, %edx
callq 0x2190
movq 0x7bc4(%rip), %rdi      # 0xcfd0
leaq 0x3c75(%rip), %rsi      # 0x9088
movl $0x8, %edx
callq 0x2190
movq 0x7bac(%rip), %rdi      # 0xcfd0
leaq 0x4984(%rip), %rsi      # 0x9daf
movl $0x4, %edx
callq 0x2190
movq 0x7ba4(%rip), %rdi      # 0xcfe0
movq (%rdi), %rax
addq -0x18(%rax), %rdi
movl $0xa, %esi
callq 0x2150
movsbl %al, %edx
movq 0x7b89(%rip), %r15      # 0xcfe0
leaq -0x68(%rbp), %rsi
movq %r15, %rdi
callq 0x2260
movq 0x7b66(%rip), %rdi      # 0xcfd0
leaq 0x3b97(%rip), %rsi      # 0x9008
movl $0x7, %edx
callq 0x2190
movq 0x7b4e(%rip), %rdi      # 0xcfd0
leaq 0x3c10(%rip), %rsi      # 0x9099
movl $0xb, %edx
callq 0x2190
movq 0x7b36(%rip), %r14      # 0xcfd0
leaq 0x490e(%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 0x7b14(%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)
movq (%r14), %rcx
addq -0x18(%rcx), %r14
testb %al, %al
je 0x57f6
movq %r14, %rdi
movl $0xa, %esi
callq 0x2150
movsbl %al, %esi
movq 0x7ac4(%rip), %rdi      # 0xcfd0
callq 0x2030
movq %rax, %rdi
callq 0x2100
movq %rax, %r14
leaq 0x3b5d(%rip), %rsi      # 0x9080
movl $0x7, %edx
movq %rax, %rdi
callq 0x2190
leaq 0x4769(%rip), %rsi      # 0x9ca0
movl $0x9, %edx
movq %r14, %rdi
callq 0x2190
movq (%rbx), %rax
leaq -0x68(%rbp), %rsi
leaq -0x48(%rbp), %rdx
movq %rbx, %rdi
callq *0x28(%rax)
movq (%rax), %rcx
movq %rax, %rdi
callq *0x10(%rcx)
movq (%rax), %rsi
movq 0x8(%rax), %rdx
movq %r14, %rdi
callq 0x2190
movq %rax, %r14
leaq 0x42a9(%rip), %rsi      # 0x9820
movl $0x1, %edx
movq %rax, %rdi
callq 0x2190
movq (%rbx), %rax
leaq -0x68(%rbp), %rsi
leaq -0x48(%rbp), %rdx
movq %rbx, %rdi
callq *0x28(%rax)
movq (%rax), %rcx
movq %rax, %rdi
callq *0x18(%rcx)
movq (%rax), %rsi
movq 0x8(%rax), %rdx
movq %r14, %rdi
callq 0x2190
movq %rax, %r14
leaq 0x47f8(%rip), %rsi      # 0x9daf
movl $0x4, %edx
movq %rax, %rdi
callq 0x2190
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2150
movsbl %al, %esi
movq %r14, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2100
movq 0x79de(%rip), %rdi      # 0xcfd0
leaq 0x3a87(%rip), %rsi      # 0x9080
movl $0x7, %edx
callq 0x2190
movq 0x79c6(%rip), %rdi      # 0xcfd0
leaq 0x4699(%rip), %rsi      # 0x9caa
movl $0x9, %edx
callq 0x2190
movq 0x79ae(%rip), %rdi      # 0xcfd0
leaq 0x3a68(%rip), %rsi      # 0x9091
movl $0x7, %edx
callq 0x2190
movq (%rbx), %rax
leaq -0x68(%rbp), %rsi
leaq -0x48(%rbp), %rdx
movq %rbx, %rdi
callq *0x28(%rax)
movq (%rax), %rcx
movq %rax, %rdi
callq *0x20(%rcx)
cvtss2sd %xmm0, %xmm0
movq 0x7978(%rip), %rdi      # 0xcfd0
callq 0x2200
movq %rax, %r14
leaq 0x4748(%rip), %rsi      # 0x9daf
movl $0x4, %edx
movq %rax, %rdi
callq 0x2190
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2150
movsbl %al, %esi
movq %r14, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2100
movq 0x792e(%rip), %rdi      # 0xcfd0
leaq 0x39d7(%rip), %rsi      # 0x9080
movl $0x7, %edx
callq 0x2190
movq 0x7916(%rip), %rdi      # 0xcfd0
leaq 0x45f3(%rip), %rsi      # 0x9cb4
movl $0xb, %edx
callq 0x2190
movq 0x78fe(%rip), %rdi      # 0xcfd0
leaq 0x39b8(%rip), %rsi      # 0x9091
movl $0x7, %edx
callq 0x2190
movq (%rbx), %rax
leaq -0x68(%rbp), %rsi
leaq -0x48(%rbp), %rdx
movq %rbx, %rdi
callq *0x28(%rax)
movq (%rax), %rcx
movq %rax, %rdi
callq *0x28(%rcx)
cvtss2sd %xmm0, %xmm0
movq 0x78c8(%rip), %rdi      # 0xcfd0
callq 0x2200
movq %rax, %r14
leaq 0x4698(%rip), %rsi      # 0x9daf
movl $0x4, %edx
movq %rax, %rdi
callq 0x2190
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2150
movsbl %al, %esi
movq %r14, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2100
movq 0x787e(%rip), %rdi      # 0xcfd0
leaq 0x3927(%rip), %rsi      # 0x9080
movl $0x7, %edx
callq 0x2190
movq 0x7866(%rip), %rdi      # 0xcfd0
leaq 0x454f(%rip), %rsi      # 0x9cc0
movl $0x7, %edx
callq 0x2190
movq 0x784e(%rip), %rdi      # 0xcfd0
leaq 0x3908(%rip), %rsi      # 0x9091
movl $0x7, %edx
callq 0x2190
movq (%rbx), %rax
leaq -0x68(%rbp), %rsi
leaq -0x48(%rbp), %rdx
movq %rbx, %rdi
callq *0x28(%rax)
movss 0x48(%rax), %xmm0
addss 0x4c(%rax), %xmm0
mulss 0x384e(%rip), %xmm0     # 0x9004
cvtss2sd %xmm0, %xmm0
movq 0x780f(%rip), %rdi      # 0xcfd0
callq 0x2200
movq %rax, %rbx
leaq 0x45df(%rip), %rsi      # 0x9daf
movl $0x4, %edx
movq %rax, %rdi
callq 0x2190
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2150
jmp 0x58bb
movq %r14, %rdi
movl $0xa, %esi
callq 0x2150
movsbl %al, %esi
movq 0x77c3(%rip), %rdi      # 0xcfd0
callq 0x2030
movq %rax, %rdi
callq 0x2100
movq %rax, %rbx
leaq 0x4204(%rip), %rsi      # 0x9a28
movl $0x7, %edx
movq %rax, %rdi
callq 0x2190
leaq 0x46f1(%rip), %rsi      # 0x9f29
movl $0x15, %edx
movq %rbx, %rdi
callq 0x2190
movq -0x68(%rbp), %rsi
movq -0x60(%rbp), %rdx
movq %rbx, %rdi
callq 0x2190
movq %rax, %rbx
leaq 0x3fc1(%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 0x43fc(%rip), %rsi      # 0x9c82
movl $0x1d, %edx
movq %rax, %rdi
callq 0x2190
leaq 0x4515(%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
movq -0x48(%rbp), %rdi
cmpq %r13, %rdi
je 0x58dc
callq 0x2140
movq -0x68(%rbp), %rdi
cmpq %r12, %rdi
je 0x58ea
callq 0x2140
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq -0x48(%rbp), %rdi
cmpq %r13, %rdi
je 0x590a
callq 0x2140
movq -0x68(%rbp), %rdi
cmpq %r12, %rdi
je 0x5918
callq 0x2140
movq %rbx, %rdi
callq 0x2230