| summaryrefslogtreecommitdiff |
diff options
| -rw-r--r-- | src/hastabel/GraphToFirstOrder.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/hastabel/GraphToFirstOrder.java b/src/hastabel/GraphToFirstOrder.java index a2db1b9..c4bbfa8 100644 --- a/src/hastabel/GraphToFirstOrder.java +++ b/src/hastabel/GraphToFirstOrder.java @@ -99,7 +99,7 @@ public class GraphToFirstOrder final Predicate is_before ) { - for (final Node initial_node: INITIAL_NODES) + for (final Node initial_node: NODE_FROM_ELEMENT.values()) { for (final Path path: get_all_paths_from(initial_node)) { @@ -117,7 +117,7 @@ public class GraphToFirstOrder n_i = path.nodes.get(i).get_element(); - contains_node.add_member_( path_e, n_i); + contains_node.add_member_(path_e, n_i); for (int j = 0; j < i; j++) { |