next up previous contents index
Next: 9.1.1 Boolean Up: 9. APPLICATIONS Previous: 9. APPLICATIONS   Contents   Index

9.1 Simple Data Types

Data types such as boolean and integer are explicitly modeled with DCharts. Though variables of those types are internally supported, modeling them explicitly allows symbolic checking and analysis.


Thomas Huining Feng 2004-04-28