21 #ifndef LOCAL_BASE_SPACE_MEMBER_H 22 #define LOCAL_BASE_SPACE_MEMBER_H 24 #ifndef SHEAF_DLL_SPEC_H 25 #include "SheafSystem/sheaf_dll_spec.h" 28 #ifndef BASE_SPACE_MEMBER_H 29 #include "SheafSystem/base_space_member.h" 32 #ifndef ARRAY_POSET_DOF_MAP_H 33 #include "SheafSystem/array_poset_dof_map.h" 39 using namespace sheaf;
83 virtual void refine() = 0;
89 virtual void unrefine() = 0;
95 virtual void simplify() = 0;
101 virtual void unsimplify() = 0;
301 virtual bool invariant()
const;
306 virtual bool is_ancestor_of(
const any* other)
const;
327 #endif // LOCAL_BASE_SPACE_MEMBER_H A client handle for a member of a base space poset.
base_space_member * p_join(abstract_poset_member *other) const
poset join of this with other, auto-, pre-, and self-allocated versions the poset join is the least u...
local_base_space_member * l_not(bool xnew_jem=true) const
lattice pseudo-complement of this, auto-, pre- and self allocated versions The lattice pseudo-complem...
base_space_member * l_join(abstract_poset_member *other, bool xnew_jem=true)
lattice join of this with other, auto-, pre-, and self-allocated versions the lattice join is the lea...
local_base_space_member * least_jem() const
The smallest member which is join-equivalent to this.
local_base_space_member * p_meet(abstract_poset_member *other)
poset meet of this with other, auto-, pre-, and self-allocated versions the poset meet is the greates...
local_base_space_member * l_meet(abstract_poset_member *other, bool xnew_jem=true)
lattice meet of this with other, auto-, pre-, and self-allocated versions the lattice meet is the gre...
base_space_member * least_jem() const
The smallest member which is join-equivalent to this.
A client handle for a member of a base space poset.
base_space_member * l_not(bool xnew_jem=true) const
lattice pseudo-complement of this, auto-, pre- and self allocated versions The lattice pseudo-complem...
Abstract base class with useful features for all objects.
local_base_space_member * greatest_jem() const
The largest member which is join-equivalent to this.
local_base_space_member * l_join(abstract_poset_member *other, bool xnew_jem=true)
lattice join of this with other, auto-, pre-, and self-allocated versions the lattice join is the lea...
base_space_member * p_meet(abstract_poset_member *other)
poset meet of this with other, auto-, pre-, and self-allocated versions the poset meet is the greates...
local_base_space_member * p_join(abstract_poset_member *other) const
poset join of this with other, auto-, pre-, and self-allocated versions the poset join is the least u...
base_space_member * l_meet(abstract_poset_member *other, bool xnew_jem=true)
lattice meet of this with other, auto-, pre-, and self-allocated versions the lattice meet is the gre...
local_base_space_member * clone(bool xnew_state, bool xauto_access=true) const
Make a new handle instance of current. Attach the new instance to a new state if xnew_state is true...
Namespace for the sheaves component of the sheaf system.
base_space_member * greatest_jem() const
The largest member which is join-equivalent to this.
An abstract client handle for a member of a poset.
Namespace for the fiber_bundles component of the sheaf system.
virtual base_space_member * clone() const
Make a new handle, no state instance of current.