Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/ScopePropagatorStrategy.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

package hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.cardinality;

public enum ScopePropagatorStrategy {
	BasicTypeHierarchy,

	PolyhedralTypeHierarchy,

	PolyhedralRelations {
		@Override
		public boolean requiresUpperBoundIndexing() {
			return true;
		}
	};

	public boolean requiresUpperBoundIndexing() {
		return false;
	}
}