cloud9_root/src/third_party/stp/src/simplifier/simplifier.cpp
// number of constant bits in the most significant places.
number of constant bits in the most significant places.
number of constant bits in the most significant places .
int
  mostSignificantConstants(const ASTNode& n)
  {
    if (n.isConstant())
      return n.GetValueWidth();
    if (n.GetKind() == BVCONCAT)
      return mostSignificantConstants(n[0]);
    return 0;
  }
int mostSignificantConstants ( const ASTNode & n ) { if ( n . isConstant ( ) ) return n . GetValueWidth ( ) ; if ( n . GetKind ( ) == BVCONCAT ) return mostSignificantConstants ( n [ 0 ] ) ; return 0 ; }
number of constant bits in the most significant places.
number of constant bits in the most significant places .