statistics.cc (6130:0fb959250892) statistics.cc (6227:a17798f2a52c)
1/*
2 * Copyright (c) 2003-2005 The Regents of The University of Michigan
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions are
7 * met: redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer;

--- 285 unchanged lines hidden (view full) ---

294{
295}
296
297bool
298Formula::zero() const
299{
300 VResult vec;
301 result(vec);
1/*
2 * Copyright (c) 2003-2005 The Regents of The University of Michigan
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions are
7 * met: redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer;

--- 285 unchanged lines hidden (view full) ---

294{
295}
296
297bool
298Formula::zero() const
299{
300 VResult vec;
301 result(vec);
302 for (off_t i = 0; i < vec.size(); ++i)
302 for (VResult::size_type i = 0; i < vec.size(); ++i)
303 if (vec[i] != 0.0)
304 return false;
305 return true;
306}
307
308string
309Formula::str() const
310{

--- 66 unchanged lines hidden --- 		303 if (vec[i] != 0.0)
304 return false;
305 return true;
306}
307
308string
309Formula::str() const
310{

--- 66 unchanged lines hidden ---