added arithmetic function on obdd for sliding window