blob: 3dd2157e7006bcb9946412bd002e237375c57f60 (
plain) (
blame)
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;
}
}
|