namespace_poset_member.cc File Reference

Implementation for class namespace_poset_member. More...

#include "SheafSystem/namespace_poset_member.h"
#include "SheafSystem/assert_contract.h"
#include "SheafSystem/namespace_poset.h"
#include "SheafSystem/postorder_iterator.h"
#include "SheafSystem/tern.h"

Go to the source code of this file.

Detailed Description

Implementation for class namespace_poset_member.

Definition in file namespace_poset_member.cc.