SheafSystem  0.0.0.0
discretization_push_action.cc
Go to the documentation of this file.
1 
2 //
3 // Copyright (c) 2014 Limit Point Systems, Inc.
4 //
5 // Licensed under the Apache License, Version 2.0 (the "License");
6 // you may not use this file except in compliance with the License.
7 // You may obtain a copy of the License at
8 //
9 // http://www.apache.org/licenses/LICENSE-2.0
10 //
11 // Unless required by applicable law or agreed to in writing, software
12 // distributed under the License is distributed on an "AS IS" BASIS,
13 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14 // See the License for the specific language governing permissions and
15 // limitations under the License.
16 //
17 
20 
21 #include "SheafSystem/discretization_push_action.h"
22 
23 #include "SheafSystem/assert_contract.h"
24 #include "SheafSystem/block.h"
25 
26 using namespace fields; // Workaround for MS C++ bug.
27 
28 // ===========================================================
29 // DISCRETIZATION_PUSH_ACTION FACET
30 // ===========================================================
31 
32 // PUBLIC MEMBER FUNCTIONS
33 
36 {
37  // Preconditions:
38 
39  // Body:
40 
41  // Nothing to do.
42 
43  // Postconditions:
44 
45  // Exit:
46 
47  return;
48 }
49 
50 
51 void
53 operator()(const scoped_index& xmbr_id, block<sec_vd_value_type>& xglobal_coords)
54 {
55  // Preconditions:
56 
57  // Body:
58 
59  is_abstract();
60 
61  // Postconditions:
62 
63  // Exit:
64 
65  return;
66 }
67 
68 // PROTECTED MEMBER FUNCTIONS
69 
72 {
73  // Preconditions:
74 
75  // Body:
76 
77  // Nothing to do.
78 
79  // Postconditions:
80 
81  // Exit:
82 
83  return;
84 }
85 
86 // ===========================================================
87 // NON-MEMBER FUNCTIONS
88 // ===========================================================
89 
Namespace for fields component of sheaf system.
virtual void operator()(const scoped_index &xmbr_id, block< sec_vd_value_type > &xglobal_coords)=0
The push action.
An index within the external ("client") scope of a given id space.
Definition: scoped_index.h:116