| [/============================================================================== |
| Copyright (C) 2001-2010 Hartmut Kaiser |
| Copyright (C) 2001-2010 Joel de Guzman |
| |
| Distributed under the Boost Software License, Version 1.0. (See accompanying |
| file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) |
| ===============================================================================/] |
| |
| [/------------------------------------------------------------------------------] |
| [section XXX] |
| |
| [heading Description] |
| |
| Description of XXX concept |
| |
| [heading Refinement of] |
| |
| [:Link to base concept] |
| |
| [variablelist Notation |
| [[`xxx`] [An XXX]] |
| ] |
| |
| [heading Valid Expressions] |
| |
| (For any XXX the following expressions must be valid:) |
| |
| In addition to the requirements defined in _XXX-Basic_concept_, for any |
| XXX the following must be met: |
| |
| [table |
| [[Expression] [Semantics] [Return type]] |
| [[`xxx`] [Semantics of `xxx`] [XXX]] |
| ] |
| |
| [heading Type Expressions] |
| |
| [table |
| [[Expression] [Description]] |
| [[`XXX`] [Description of `XXX`]] |
| ] |
| |
| [heading Invariants] |
| |
| For any XXX xxx the following invariants always hold: |
| |
| [heading Precondition] |
| |
| Prior to calling FOO the following preconditions should hold: |
| |
| [heading Precondition] |
| |
| Upon return from FOO the following postconditions should hold: |
| |
| [heading Models] |
| |
| Links to models of XXX concept |
| |
| [endsect] [/ XXX Concept] |