Searched defs:sliceSet (Results 1 – 1 of 1) sorted by relevance
875 PresburgerSet sliceSet(sliceConstraints); in isSliceValid() local 933 PresburgerSet sliceSet(sliceConstraints); in isMaximal() local