Try fix statecode bug

Modified graph width calculation to not depend on order of nodes

1 files changed, 0 insertions, 16 deletions

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/CostObjective.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/CostObjective.java
deleted file mode 100644
index 8659913c..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/CostObjective.java
+++ /dev/null
@@ -1,16 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.domains.satellite.mdeo;
-
-import hu.bme.mit.inf.dslreasoner.domains.satellite.mdeo.MetricBasedGuidanceFunction;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CostMetric;
-
-@SuppressWarnings("all")
-public class CostObjective extends MetricBasedGuidanceFunction {
-  public CostObjective() {
-    super(CostMetric.instance());
-  }
-  
-  @Override
-  public String getName() {
-    return "Cost";
-  }
-}