diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/cplex')
4 files changed, 25 insertions, 1 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/cplex/.CbcCpsMain.xtendbin b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/cplex/.CbcCpsMain.xtendbin index 3f9e895d..1ba73ccf 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/cplex/.CbcCpsMain.xtendbin +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/cplex/.CbcCpsMain.xtendbin | |||
Binary files differ | |||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/cplex/.CpsToLpTranslator.xtendbin b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/cplex/.CpsToLpTranslator.xtendbin index d8814a3b..b8ff0f95 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/cplex/.CpsToLpTranslator.xtendbin +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/cplex/.CpsToLpTranslator.xtendbin | |||
Binary files differ | |||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/cplex/.gitignore b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/cplex/.gitignore index 9f908c7a..011600b4 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/cplex/.gitignore +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/cplex/.gitignore | |||
@@ -1,2 +1,6 @@ | |||
1 | /.CpsToLpTranslator.java._trace | 1 | /.CpsToLpTranslator.java._trace |
2 | /.CbcCpsMain.java._trace | 2 | /.CbcCpsMain.java._trace |
3 | /.CbcCpsMain.xtendbin | ||
4 | /.CpsToLpTranslator.xtendbin | ||
5 | /CbcCpsMain.java | ||
6 | /CpsToLpTranslator.java | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/cplex/CbcCpsMain.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/cplex/CbcCpsMain.java index d36cdccd..00a4887b 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/cplex/CbcCpsMain.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/cplex/CbcCpsMain.java | |||
@@ -2,12 +2,15 @@ package hu.bme.mit.inf.dslreasoner.domains.cps.cplex; | |||
2 | 2 | ||
3 | import hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage; | 3 | import hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage; |
4 | import hu.bme.mit.inf.dslreasoner.domains.cps.CyberPhysicalSystem; | 4 | import hu.bme.mit.inf.dslreasoner.domains.cps.CyberPhysicalSystem; |
5 | import hu.bme.mit.inf.dslreasoner.domains.cps.Request; | ||
6 | import hu.bme.mit.inf.dslreasoner.domains.cps.Requirement; | ||
5 | import hu.bme.mit.inf.dslreasoner.domains.cps.cplex.CpsToLpTranslator; | 7 | import hu.bme.mit.inf.dslreasoner.domains.cps.cplex.CpsToLpTranslator; |
6 | import hu.bme.mit.inf.dslreasoner.domains.cps.generator.CpsGenerator; | 8 | import hu.bme.mit.inf.dslreasoner.domains.cps.generator.CpsGenerator; |
7 | import java.io.BufferedReader; | 9 | import java.io.BufferedReader; |
8 | import java.io.BufferedWriter; | 10 | import java.io.BufferedWriter; |
9 | import java.io.FileReader; | 11 | import java.io.FileReader; |
10 | import java.io.FileWriter; | 12 | import java.io.FileWriter; |
13 | import java.util.List; | ||
11 | import java.util.Map; | 14 | import java.util.Map; |
12 | import java.util.concurrent.TimeUnit; | 15 | import java.util.concurrent.TimeUnit; |
13 | import java.util.function.Consumer; | 16 | import java.util.function.Consumer; |
@@ -15,7 +18,11 @@ import org.eclipse.emf.ecore.EPackage; | |||
15 | import org.eclipse.emf.ecore.resource.Resource; | 18 | import org.eclipse.emf.ecore.resource.Resource; |
16 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl; | 19 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl; |
17 | import org.eclipse.xtext.xbase.lib.Exceptions; | 20 | import org.eclipse.xtext.xbase.lib.Exceptions; |
21 | import org.eclipse.xtext.xbase.lib.Functions.Function1; | ||
22 | import org.eclipse.xtext.xbase.lib.Functions.Function2; | ||
18 | import org.eclipse.xtext.xbase.lib.InputOutput; | 23 | import org.eclipse.xtext.xbase.lib.InputOutput; |
24 | import org.eclipse.xtext.xbase.lib.IterableExtensions; | ||
25 | import org.eclipse.xtext.xbase.lib.ListExtensions; | ||
19 | 26 | ||
20 | @SuppressWarnings("all") | 27 | @SuppressWarnings("all") |
21 | public class CbcCpsMain { | 28 | public class CbcCpsMain { |
@@ -33,7 +40,7 @@ public class CbcCpsMain { | |||
33 | XMIResourceFactoryImpl _xMIResourceFactoryImpl = new XMIResourceFactoryImpl(); | 40 | XMIResourceFactoryImpl _xMIResourceFactoryImpl = new XMIResourceFactoryImpl(); |
34 | _extensionToFactoryMap.put(Resource.Factory.Registry.DEFAULT_EXTENSION, _xMIResourceFactoryImpl); | 41 | _extensionToFactoryMap.put(Resource.Factory.Registry.DEFAULT_EXTENSION, _xMIResourceFactoryImpl); |
35 | EPackage.Registry.INSTANCE.put(CpsPackage.eNS_URI, CpsPackage.eINSTANCE); | 42 | EPackage.Registry.INSTANCE.put(CpsPackage.eNS_URI, CpsPackage.eINSTANCE); |
36 | final CpsGenerator generator = new CpsGenerator(1, 4, 1); | 43 | final CpsGenerator generator = new CpsGenerator(1, 4, 2); |
37 | final CyberPhysicalSystem problem = generator.generateCpsProblem(); | 44 | final CyberPhysicalSystem problem = generator.generateCpsProblem(); |
38 | final CpsToLpTranslator toLp = new CpsToLpTranslator(problem, 10, true); | 45 | final CpsToLpTranslator toLp = new CpsToLpTranslator(problem, 10, true); |
39 | final CharSequence lp = toLp.getLpProblem(); | 46 | final CharSequence lp = toLp.getLpProblem(); |
@@ -70,6 +77,19 @@ public class CbcCpsMain { | |||
70 | } finally { | 77 | } finally { |
71 | reader.close(); | 78 | reader.close(); |
72 | } | 79 | } |
80 | final Function1<Request, List<Integer>> _function_1 = (Request it) -> { | ||
81 | final Function1<Requirement, Integer> _function_2 = (Requirement it_1) -> { | ||
82 | return Integer.valueOf(it_1.getCount()); | ||
83 | }; | ||
84 | return ListExtensions.<Requirement, Integer>map(it.getRequirements(), _function_2); | ||
85 | }; | ||
86 | final Function2<Integer, Integer, Integer> _function_2 = (Integer p1, Integer p2) -> { | ||
87 | return Integer.valueOf(((p1).intValue() + (p2).intValue())); | ||
88 | }; | ||
89 | Integer _reduce = IterableExtensions.<Integer>reduce(IterableExtensions.<Request, Integer>flatMap(problem.getRequests(), _function_1), _function_2); | ||
90 | int _multiply = ((_reduce).intValue() * 5); | ||
91 | String _plus_1 = ("Additional cost: " + Integer.valueOf(_multiply)); | ||
92 | InputOutput.<String>println(_plus_1); | ||
73 | } catch (Throwable _e) { | 93 | } catch (Throwable _e) { |
74 | throw Exceptions.sneakyThrow(_e); | 94 | throw Exceptions.sneakyThrow(_e); |
75 | } | 95 | } |