Constraint processing with zero value handling
US8229869B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Apr 22, 2009 |
| Grant date | Jul 24, 2012 |
| Priority date | — |
| Expiry date | Mar 25, 2031 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F9/448
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Systems and methods for managing floating point variables are described in the present disclosure. According to one example, an embodiment of a method is described. The method comprises providing a floating point variable having a domain that includes a flag representing whether a specific value is included in or excluded from the domain of the floating point variable. The method also includes analyzing a constraint on the floating point variable to determine if the constraint excludes the specific value from the domain of the floating point variable. A value of the flag is manipulated to indicate that the specific value is excluded from the domain of the floating point variable if it is determined that the constraint excludes the specific value. In some cases, the specific value can be the value zero, for example.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.