| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2018-05-30 21:31:30 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2018-05-30 21:31:30 +0200 |
| commit | 7e24107c80a570df3958fbce87b4ce1337bcb4ab (patch) | |
| tree | 0ad5a0e2e9e6e229d10d63a1da95dd8ea7acfe00 /src | |
| parent | 7633ea659a37ee06c80076f32505b0b584a89c7e (diff) | |
Might fix the missing 'is_in_path' issues.
Diffstat (limited to 'src')
| -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++) { |