Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/CardinalityCalculator.java


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

package hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.dse;

import org.eclipse.emf.common.util.EList;

import hu.bme.mit.inf.dslreasoner.logic.model.builder.TypeScopes;
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type;
import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation;

public class CardinalityCalculator {
	public boolean isViolated(PartialInterpretation partialInterpretation, TypeScopes typeScopes) {
//		LogicProblem problem = partialInterpretation.getProblem();
//		EList<Type> types = problem.getTypes();
//		for (Type type : types) {
//			type.isIsAbstract()
//		}
//		problem.getAnnotations().
//		EList<PartialTypeInterpratation> partialtypeinterpratation = partialInterpretation.getPartialtypeinterpratation();
//		
//		
//		typeScopes.minNewElementsByType
		return false;
	}
}