blob: 17b1a87be996639ff6bd87d2173719d77edb4f8f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
package hu.bme.mit.inf.dlsreasoner.alloy.reasoner.builder
import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureDeclaration
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type
import java.util.HashMap
import java.util.Map
class Logic2AlloyLanguageMapper_TypeMapperTrace_FilteredTypes
implements Logic2AlloyLanguageMapper_TypeMapperTrace
{
public var ALSSignatureDeclaration objectSupperClass;
public val Map<Type, ALSSignatureDeclaration> type2ALSType = new HashMap;
public val Map<DefinedElement, ALSSignatureDeclaration> definedElement2Declaration = new HashMap
}
|