From b7ed3353ba34dd837bfc15f7e48c30a2cdc7ce75 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kris7topher@gmail.com>
Date: Wed, 22 May 2019 20:38:53 -0400
Subject: MDEOptimiser implementation of CPS benchmark

---
 .../xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/dse/.gitignore | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/dse/.gitignore')

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/dse/.gitignore b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/dse/.gitignore
index e24f10f4..2338336b 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/dse/.gitignore
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/dse/.gitignore
@@ -1,3 +1,9 @@
 /.RuleBasedCpsSolver.java._trace
 /.RuleBasedCpsMain.java._trace
 /.CpsStateCoder.java._trace
+/.CpsStateCoder.xtendbin
+/.RuleBasedCpsMain.xtendbin
+/.RuleBasedCpsSolver.xtendbin
+/CpsStateCoder.java
+/RuleBasedCpsMain.java
+/RuleBasedCpsSolver.java
-- 
cgit v1.2.3-70-g09d2