Add generic LP support for shared-memory protocols

1 files changed, 14 insertions, 0 deletions

diff --git a/native/include/lp_common.h b/native/include/lp_common.h
index f5b49d9..06c5e78 100644
--- a/native/include/lp_common.h
+++ b/native/include/lp_common.h
@@ -89,6 +89,14 @@ void set_blocking_objective(
         LinearExpression *local_obj = 0,
         LinearExpression *remote_obj = 0);
 
+void set_blocking_objective_part_shm(
+        VarMapper& vars,
+        const ResourceSharingInfo& info,
+        const TaskInfo& ti,
+        LinearProgram& lp,
+        LinearExpression *local_obj = 0,
+        LinearExpression *remote_obj = 0);
+
 void add_mutex_constraints(VarMapper& vars,
                 const ResourceSharingInfo& info,
                 const TaskInfo& ti,  LinearProgram& lp);
@@ -104,6 +112,12 @@ void add_local_lower_priority_constraints(
         const TaskInfo& ti,
         LinearProgram& lp);
 
+void add_topology_constraints_shm(
+        VarMapper& vars,
+        const ResourceSharingInfo& info,
+        const TaskInfo& ti,
+        LinearProgram& lp);
+
 // A generic for loop that iterates 'request_index_variable' from 0 to the
 // maximum number of requests issued by task tx while ti is pending. 'tx_request'
 // should be of type RequestBound&.