avg_section_pusher.cc File Reference

Implementation for class avg_section_pusher. More...

#include "SheafSystem/avg_section_pusher.h"
#include "SheafSystem/assert_contract.h"
#include "SheafSystem/sec_ed_invertible.h"

Go to the source code of this file.

Detailed Description

Implementation for class avg_section_pusher.

Definition in file avg_section_pusher.cc.