扩展了Dimension,加入constraintCount和constraintCountTotal属性，用来判断某个dimension是否是可降维的，在DPOP中可以不用此判断，因为DFS树保证了可降维性；但在BFSDPOP中，需要使用，交叉约束边带来了不可降维的情况。