aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-dse/src/main/java/tools/refinery/store/dse/DesignSpaceExplorationAdapter.java
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/store-dse/src/main/java/tools/refinery/store/dse/DesignSpaceExplorationAdapter.java')
-rw-r--r--subprojects/store-dse/src/main/java/tools/refinery/store/dse/DesignSpaceExplorationAdapter.java71
1 files changed, 0 insertions, 71 deletions
diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/DesignSpaceExplorationAdapter.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/DesignSpaceExplorationAdapter.java
deleted file mode 100644
index ab87ddd5..00000000
--- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/DesignSpaceExplorationAdapter.java
+++ /dev/null
@@ -1,71 +0,0 @@
1/*
2 * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
3 *
4 * SPDX-License-Identifier: EPL-2.0
5 */
6package tools.refinery.store.dse;
7
8import tools.refinery.store.adapter.ModelAdapter;
9import tools.refinery.store.dse.internal.TransformationRule;
10import tools.refinery.store.map.Version;
11import tools.refinery.store.dse.internal.Activation;
12import tools.refinery.store.dse.internal.DesignSpaceExplorationBuilderImpl;
13import tools.refinery.store.dse.objectives.Fitness;
14import tools.refinery.store.dse.objectives.ObjectiveComparatorHelper;
15import tools.refinery.store.tuple.Tuple;
16import tools.refinery.store.tuple.Tuple1;
17
18import java.util.Collection;
19import java.util.List;
20import java.util.Random;
21
22public interface DesignSpaceExplorationAdapter extends ModelAdapter {
23 @Override
24 DesignSpaceExplorationStoreAdapter getStoreAdapter();
25
26 static DesignSpaceExplorationBuilder builder() {
27 return new DesignSpaceExplorationBuilderImpl();
28 }
29
30 Collection<Version> explore();
31
32 public int getModelSize();
33
34 public Tuple1 createObject();
35
36 public Tuple deleteObject(Tuple tuple);
37
38 public boolean checkGlobalConstraints();
39
40 public boolean backtrack();
41
42 public boolean backtrack(String reason);
43
44 public Fitness getFitness();
45
46 public void newSolution();
47
48 public int getDepth();
49
50 public Collection<Activation> getUntraversedActivations();
51
52 public boolean fireActivation(Activation activation);
53
54 public boolean fireRandomActivation();
55
56 public List<Version> getTrajectory();
57
58 public boolean isCurrentStateAlreadyTraversed();
59
60 public ObjectiveComparatorHelper getObjectiveComparatorHelper();
61
62 public void restoreTrajectory(List<Version> trajectory);
63
64 public void setRandom(Random random);
65
66 public void setRandom(long seed);
67
68 public List<Version> getSolutions();
69
70 void addTransformationRule(TransformationRule transformationRule);
71}