1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
package hu.bme.mit.inf.dlsreasoner.alloy.reasoner.builder
import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDocument
import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSEnumDeclaration
import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSEnumLiteral
import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFieldDeclaration
import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFunctionDefinition
import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRelationDefinition
import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody
import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureDeclaration
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDeclaration
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDeclaration
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDefinition
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition
import java.util.HashMap
import java.util.Map
import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation
interface Logic2AlloyLanguageMapper_TypeMapperTrace {}
class Logic2AlloyLanguageMapperTrace {
public var ViatraQueryEngine incqueryEngine;
public var ALSDocument specification;
public var ALSSignatureDeclaration logicLanguage;
public var ALSSignatureBody logicLanguageBody;
public var ALSEnumDeclaration boolType;
public var ALSEnumLiteral boolTrue;
public var ALSEnumLiteral boolFalse;
public var Logic2AlloyLanguageMapper_TypeMapperTrace typeMapperTrace
public val Map<ConstantDeclaration, ALSFieldDeclaration> constantDeclaration2LanguageField = new HashMap
public val Map<ConstantDefinition, ALSFunctionDefinition> constantDefinition2Function = new HashMap
public val Map<FunctionDeclaration,ALSFieldDeclaration> functionDeclaration2HostedField = new HashMap
public val Map<FunctionDeclaration,ALSFieldDeclaration> functionDeclaration2LanguageField = new HashMap
public val Map<FunctionDefinition,ALSFunctionDefinition> functionDefinition2Function = new HashMap
public val Map<RelationDeclaration, ALSFieldDeclaration> relationDeclaration2Global = new HashMap
public val Map<RelationDeclaration, ALSFieldDeclaration> relationDeclaration2Field = new HashMap
public val Map<RelationDefinition,ALSRelationDefinition> relationDefinition2Predicate = new HashMap
public val Map<RelationDeclaration, ALSFieldDeclaration> transitiveClosureTarget2Global = new HashMap
public val Map<RelationDeclaration, ALSFieldDeclaration> transitiveClosureTarget2Field = new HashMap
public var Map<ConstantDeclaration, ConstantDefinition> constantDefinitions
public var Map<FunctionDeclaration, FunctionDefinition> functionDefinitions
public var Map<RelationDeclaration, RelationDefinition> relationDefinitions
public var Map<Relation, ALSFieldDeclaration> relationInTransitiveToGlobalField = new HashMap
public var Map<Relation, ALSFieldDeclaration> relationInTransitiveToHosterField = new HashMap
}
|
