Commit 2e666f08 authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[lib] Fix typos

parent 5ffe8d89
......@@ -291,10 +291,16 @@ class CLUnfolder(object):
# ordered list of DIMACS codes of the simple variables/places
# Disable all variables of places (entities) in the model (except frontiers)
self.__no_frontier_init = [[-self.__var_code_table[nfp]] for nfp in self.dynamic_system.no_frontiers]
self.__no_frontier_init = [
[-self.__var_code_table[not_front_name]]
for not_front_name in self.dynamic_system.no_frontiers
]
# ordered list of DIMACS codes of the frontier variables/places
self.frontier_values = [self.__var_code_table[frp] for frp in self.dynamic_system.frontiers]
self.frontier_values = [
self.__var_code_table[front_name]
for front_name in self.dynamic_system.frontiers
]
self.frontier_values.sort()
## TODO: Utiliser une liste triée est-il utile ici ?
## si non passer utiliser un frozenset et supprimer les casts partout
......
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