save.cpp File Reference

#include <algorithm>
#include "../../MARTY/MARTY_INSTALL/include/marty/models/sm.h"
#include "../../MARTY/MARTY_INSTALL/include/marty.h"

Include dependency graph for save.cpp:

Go to the source code of this file.

Functions
void	defineLibPath (mty::Library &lib)
int	calculate (Model &model, gauge::Type gauge)
int	main ()

Function Documentation

calculate()

int calculate	(	Model &	model,
		gauge::Type	gauge
	)

Definition at line 24 of file save.cpp.

defineLibPath()

void defineLibPath

(

mty::Library &

lib

)

Definition at line 11 of file save.cpp.

main()

int main

(

)

Definition at line 53 of file save.cpp.