LessThanComparable.xml 2.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081
  1. <?xml version="1.0"?>
  2. <concept name="LessThanComparable" category="Utility"><!--
  3. Based on concepts from the SGI Standard Template Library documentation:
  4. Copyright (c) 1996-1999
  5. Silicon Graphics Computer Systems, Inc.
  6. Copyright (c) 1994
  7. Hewlett-Packard Company
  8. --><!--
  9. Copyright 2000-2001 University of Notre Dame du Lac.
  10. Copyright 2001-2002 Indiana University.
  11. Some concepts based on versions from the MTL draft manual and Boost Graph
  12. and Property Map documentation:
  13. Copyright (c) Jeremy Siek, Lie-Quan Lee, and Andrew Lumsdaine 2000
  14. -->
  15. <param name="X" role="comparable-type"/>
  16. <models-sentence>The type <arg num="1"/> must be a model of <self/>.</models-sentence>
  17. <description><para>LessThanComparable types must have <code>&lt;</code>,
  18. <code>&gt;</code>, <code>&lt;=</code>, and <code>&gt;=</code>
  19. operators.</para></description>
  20. <notation variables="x y"><sample-value><type name="X"/></sample-value></notation>
  21. <valid-expression name="Less than">
  22. <less-than>
  23. <sample-value><type name="X"/></sample-value>
  24. <sample-value><type name="X"/></sample-value>
  25. </less-than>
  26. <return-type>
  27. <convertible-to testable="yes">
  28. <type name="bool"/>
  29. </convertible-to>
  30. </return-type>
  31. <semantics>Determine if one value is less than another.</semantics>
  32. </valid-expression>
  33. <valid-expression name="Less than or equal">
  34. <less-than-or-equal>
  35. <sample-value><type name="X"/></sample-value>
  36. <sample-value><type name="X"/></sample-value>
  37. </less-than-or-equal>
  38. <return-type>
  39. <convertible-to testable="yes">
  40. <type name="bool"/>
  41. </convertible-to>
  42. </return-type>
  43. <semantics>Determine if one value is less than or equal to another.</semantics>
  44. </valid-expression>
  45. <valid-expression name="Greater than">
  46. <greater-than>
  47. <sample-value><type name="X"/></sample-value>
  48. <sample-value><type name="X"/></sample-value>
  49. </greater-than>
  50. <return-type>
  51. <convertible-to testable="yes">
  52. <type name="bool"/>
  53. </convertible-to>
  54. </return-type>
  55. <semantics>Determine if one value is greater than another.</semantics>
  56. </valid-expression>
  57. <valid-expression name="Greater than or equal to">
  58. <greater-than-or-equal>
  59. <sample-value><type name="X"/></sample-value>
  60. <sample-value><type name="X"/></sample-value>
  61. </greater-than-or-equal>
  62. <return-type>
  63. <convertible-to testable="yes">
  64. <type name="bool"/>
  65. </convertible-to>
  66. </return-type>
  67. <semantics>Determine if one value is greater than or equal to another.</semantics>
  68. </valid-expression>
  69. <example-model>
  70. <type name="int"/>
  71. </example-model>
  72. </concept>