diff options
| author |  Kristóf Marussy <kris7topher@gmail.com> | 2019-04-08 00:58:00 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-04-08 00:58:00 +0200 |
| commit | c1f185fd8fc2c3dfc123d9271726c588963c7c01 (patch) | |
| tree | 88a5bb94017e7d3f0fbce0a51a78c2549b0977bd /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns | |
| parent | Infrastructure for objective functions (diff) | |
| download | VIATRA-Generator-c1f185fd8fc2c3dfc123d9271726c588963c7c01.tar.gz VIATRA-Generator-c1f185fd8fc2c3dfc123d9271726c588963c7c01.tar.zst VIATRA-Generator-c1f185fd8fc2c3dfc123d9271726c588963c7c01.zip | |
Objective POC implementation
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns')
| -rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend index a2b11632..c9e64a9d 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend | |||
| @@ -55,7 +55,7 @@ class PatternGenerator { | |||
| 55 | typeIndexer.requiresTypeAnalysis || typeRefinementGenerator.requiresTypeAnalysis | 55 | typeIndexer.requiresTypeAnalysis || typeRefinementGenerator.requiresTypeAnalysis |
| 56 | } | 56 | } |
| 57 | 57 | ||
| 58 | public dispatch def referRelation( | 58 | public dispatch def CharSequence referRelation( |
| 59 | RelationDeclaration referred, | 59 | RelationDeclaration referred, |
| 60 | String sourceVariable, | 60 | String sourceVariable, |
| 61 | String targetVariable, | 61 | String targetVariable, |
| @@ -64,7 +64,7 @@ class PatternGenerator { | |||
| 64 | { | 64 | { |
| 65 | return this.relationDeclarationIndexer.referRelation(referred,sourceVariable,targetVariable,modality) | 65 | return this.relationDeclarationIndexer.referRelation(referred,sourceVariable,targetVariable,modality) |
| 66 | } | 66 | } |
| 67 | public dispatch def referRelation( | 67 | public dispatch def CharSequence referRelation( |
| 68 | RelationDefinition referred, | 68 | RelationDefinition referred, |
| 69 | String sourceVariable, | 69 | String sourceVariable, |
| 70 | String targetVariable, | 70 | String targetVariable, |