refining_section_pusher.cc File Reference

Implementation for class refining_section_pusher A map from one sec_rep_space to another. More...

#include "SheafSystem/refining_section_pusher.h"
#include "SheafSystem/assert_contract.h"
#include "SheafSystem/base_space_member.h"
#include "SheafSystem/base_space_poset.h"
#include "SheafSystem/depth_bound_refinement_policy.h"
#include "SheafSystem/error_message.h"
#include "SheafSystem/factory.h"
#include "SheafSystem/field_eval_iterator.h"
#include "SheafSystem/field_refinement_buffer.h"
#include "SheafSystem/field_refinement_policy.h"
#include "SheafSystem/local_field_refiner.h"
#include "SheafSystem/field_refiner_family.h"
#include "SheafSystem/section_evaluator.h"
#include "SheafSystem/sec_ed_invertible.h"
#include "SheafSystem/sec_vd.h"
#include "SheafSystem/variance_bound_refinement_policy.h"
#include "SheafSystem/field_vd.h"
#include "SheafSystem/zone_centered_error_bound_refinement_policy.h"

Go to the source code of this file.

Detailed Description

Implementation for class refining_section_pusher A map from one sec_rep_space to another.

Definition in file refining_section_pusher.cc.