Closed navdeepkjohal closed 6 years ago
create a function setRandomWalkFlag() which is called when a predicate has none of the random-walks constraint set
create a function setRandomWalkFlag() which is called when a predicate has none of the random-walks constraint set