1 files changed, 4 insertions, 4 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexer.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexer.xtend
index 9afec0de..630fad51 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexer.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexer.xtend
@@ -23,16 +23,16 @@ abstract class TypeIndexer {
                reference.referred.referInstanceOf(modality,variableName)
        }
        public def dispatch CharSequence referInstanceOfByReference(BoolTypeReference reference, Modality modality, String variableName) {
-                '''find  instaneofBoolean(problem, interpretation, «variableName»);'''
+                '''BooleanElement(«variableName»);'''
        }
        public def dispatch CharSequence referInstanceOfByReference(IntTypeReference reference, Modality modality, String variableName) {
-                '''find pattern instaneofInteger(problem, interpretation, «variableName»);'''
+                '''IntegerElement(«variableName»);'''
        }
        public def dispatch CharSequence referInstanceOfByReference(RealTypeReference reference, Modality modality, String variableName) {
-                '''find pattern instaneofReal(problem, interpretation, «variableName»);'''
+                '''RealElement(«variableName»);'''
        }
        public def dispatch CharSequence referInstanceOfByReference(StringTypeReference reference, Modality modality, String variableName) {
-                '''find pattern instaneofString(problem, interpretation, «variableName»);'''
+                '''StringElement(«variableName»);'''
        }
 }
 \ No newline at end of file

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexer.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexer.xtend index 9afec0de..630fad51 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexer.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexer.xtend
@@ -23,16 +23,16 @@ abstract class TypeIndexer {
23	reference.referred.referInstanceOf(modality,variableName)	23	reference.referred.referInstanceOf(modality,variableName)
24	}	24	}
25	public def dispatch CharSequence referInstanceOfByReference(BoolTypeReference reference, Modality modality, String variableName) {	25	public def dispatch CharSequence referInstanceOfByReference(BoolTypeReference reference, Modality modality, String variableName) {
26	'''find instaneofBoolean(problem, interpretation, «variableName»);'''	26	'''BooleanElement(«variableName»);'''
27	}	27	}
28	public def dispatch CharSequence referInstanceOfByReference(IntTypeReference reference, Modality modality, String variableName) {	28	public def dispatch CharSequence referInstanceOfByReference(IntTypeReference reference, Modality modality, String variableName) {
29	'''find pattern instaneofInteger(problem, interpretation, «variableName»);'''	29	'''IntegerElement(«variableName»);'''
30	}	30	}
31	public def dispatch CharSequence referInstanceOfByReference(RealTypeReference reference, Modality modality, String variableName) {	31	public def dispatch CharSequence referInstanceOfByReference(RealTypeReference reference, Modality modality, String variableName) {
32	'''find pattern instaneofReal(problem, interpretation, «variableName»);'''	32	'''RealElement(«variableName»);'''
33	}	33	}
34	public def dispatch CharSequence referInstanceOfByReference(StringTypeReference reference, Modality modality, String variableName) {	34	public def dispatch CharSequence referInstanceOfByReference(StringTypeReference reference, Modality modality, String variableName) {
35	'''find pattern instaneofString(problem, interpretation, «variableName»);'''	35	'''StringElement(«variableName»);'''
36	}	36	}
37		37
38	} \ No newline at end of file	38	} \ No newline at end of file