From f5afda733ffdf4f52da932e03919c20b99bf7fa6 Mon Sep 17 00:00:00 2001 From: Aren Babikian Date: Tue, 15 Dec 2020 13:18:17 -0500 Subject: Add config flag for selecting numeric solver. Integ with Z3 --- .../hu/bme/mit/inf/dslreasoner/application/execution/.gitignore | 9 --------- .../mit/inf/dslreasoner/application/execution/util/.gitignore | 3 --- 2 files changed, 12 deletions(-) delete mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/execution/.gitignore delete mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/execution/util/.gitignore (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/execution') diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/execution/.gitignore b/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/execution/.gitignore deleted file mode 100644 index 5c89fb5b..00000000 --- a/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/execution/.gitignore +++ /dev/null @@ -1,9 +0,0 @@ -/.GenerationTaskExecutor.java._trace -/.NullWorkspace.java._trace -/.MetamodelLoader.java._trace -/.ModelLoader.java._trace -/.QueryLoader.java._trace -/.ScopeLoader.java._trace -/.ScriptConsole.java._trace -/.ScriptExecutor.java._trace -/.SolverLoader.java._trace diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/execution/util/.gitignore b/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/execution/util/.gitignore deleted file mode 100644 index df803ce6..00000000 --- a/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/execution/util/.gitignore +++ /dev/null @@ -1,3 +0,0 @@ -/.MyModule.java._trace -/.ApplicationConfigurationParser.java._trace -/.VQLParser.java._trace -- cgit v1.2.3-70-g09d2