Changeset 547 for trunk/VUT/GtpVisibilityPreprocessor/src/Environment.cpp
- Timestamp:
- 01/17/06 23:28:10 (18 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/VUT/GtpVisibilityPreprocessor/src/Environment.cpp
r542 r547 1708 1708 "vsp_bsp_term_min_pvs=", 1709 1709 "20"); 1710 RegisterOption("VspBspTree.Termination.min Area",1710 RegisterOption("VspBspTree.Termination.minProbability", 1711 1711 optFloat, 1712 "vsp_bsp_term_min_ area=",1712 "vsp_bsp_term_min_probability=", 1713 1713 "0.001"); 1714 1714
Note: See TracChangeset
for help on using the changeset viewer.