summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2018-05-30 21:31:30 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2018-05-30 21:31:30 +0200
commit7e24107c80a570df3958fbce87b4ce1337bcb4ab (patch)
tree0ad5a0e2e9e6e229d10d63a1da95dd8ea7acfe00
parent7633ea659a37ee06c80076f32505b0b584a89c7e (diff)
downloadhastabel-7e24107c80a570df3958fbce87b4ce1337bcb4ab.zip
hastabel-7e24107c80a570df3958fbce87b4ce1337bcb4ab.tar.bz2
Might fix the missing 'is_in_path' issues.
-rw-r--r--src/hastabel/GraphToFirstOrder.java4
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++)
{