field_atp.cc File Reference

Implementation for class field_atp. More...

#include "SheafSystem/field_atp.h"
#include "SheafSystem/assert_contract.h"
#include "SheafSystem/base_space_member.h"
#include "SheafSystem/sec_ed_invertible.h"
#include "SheafSystem/sec_atp.h"
#include "SheafSystem/field_atp_funcs.impl.h"

Go to the source code of this file.

Detailed Description

Implementation for class field_atp.

CAUTION: Normally this file should NOT be edited. It is machine generated. If you need to make permanent changes, edit the code template and rerun the generator instead.

Definition in file field_atp.cc.