MAJ terminée. Nous sommes passés en version 14.6.2 . Pour consulter les "releases notes" associées c'est ici :

https://about.gitlab.com/releases/2022/01/11/security-release-gitlab-14-6-2-released/
https://about.gitlab.com/releases/2022/01/04/gitlab-14-6-1-released/

Commit 3a865904 authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

C++ API in __forward_init_dynamic()

parent eb6efcb2
......@@ -417,16 +417,33 @@ class CLUnfolder(object):
"""
set dynamic constraints for a forward one step: X1 = f(X0)
"""
self.__dynamic_constraints = []
num_clause_list = []
for clause in self.__dyn_sys.list_clauses:
ncl = self.__forward_code(clause)
num_clause_list.append(ncl)
# Old API
# self.__dynamic_constraints = []
# num_clause_list = \
# [self.__forward_code(clause)
# for clause in self.__dyn_sys.list_clauses]
#
# if self.__include_aux_clauses:
# num_clause_list += \
# [self.__forward_code(clause)
# for clause in self.__dyn_sys.aux_list_clauses]
#
# self.__dynamic_constraints.append(num_clause_list)
# New API via C++ module
if self.__include_aux_clauses:
for clause in self.__dyn_sys.aux_list_clauses:
ncl = self.__forward_code(clause)
num_clause_list.append(ncl)
self.__dynamic_constraints.append(num_clause_list)
self.__dynamic_constraints = \
forward_init_dynamic(self.__dyn_sys.list_clauses,
self.__var_code_table,
self.__shift_step,
self.__dyn_sys.aux_list_clauses)
else:
self.__dynamic_constraints = \
forward_init_dynamic(self.__dyn_sys.list_clauses,
self.__var_code_table,
self.__shift_step)
def __backward_init_dynamic(self):
"""
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment