Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Spot
Spot
Commits
cf1ab294
Commit
cf1ab294
authored
Apr 21, 2004
by
Alexandre Duret-Lutz
Browse files
* src/tgbaalgos/gtec/ce.hh, src/misc/freelist.hh,
src/tgba/bddprint.hh: Fix Doxygen comments.
parent
2f84bee4
Changes
4
Hide whitespace changes
Inline
Side-by-side
ChangeLog
View file @
cf1ab294
2004-04-21 Alexandre Duret-Lutz <adl@gnu.org>
* src/tgbaalgos/gtec/ce.hh, src/misc/freelist.hh,
src/tgba/bddprint.hh: Fix Doxygen comments.
* src/tgbaalgos/neverclaim.hh (never_claim_reachable): Document
arguments.
* src/tgbaalgos/neverclaim.cc (never_claim_bfs::state_is_accepting):
...
...
src/misc/freelist.hh
View file @
cf1ab294
...
...
@@ -65,7 +65,7 @@ namespace spot
/// requested by the user.
virtual
int
extend
(
int
n
)
=
0
;
/// Such pairs describe \c second free integer starting at \first.
/// Such pairs describe \c second free integer starting at \
c
first.
typedef
std
::
pair
<
int
,
int
>
pos_lenght_pair
;
typedef
std
::
list
<
pos_lenght_pair
>
free_list_type
;
free_list_type
fl
;
///< Tracks unused BDD variables.
...
...
src/tgba/bddprint.hh
View file @
cf1ab294
...
...
@@ -70,7 +70,6 @@ namespace spot
/// \brief Format a BDD as a set of acceptance conditions.
///
/// This is used when saving a TGBA.
/// \param os The output stream.
/// \param dict The dictionary to use, to lookup variables.
/// \param b The BDD to print.
/// \return The BDD formated as a string.
...
...
src/tgbaalgos/gtec/ce.hh
View file @
cf1ab294
...
...
@@ -27,6 +27,7 @@
namespace
spot
{
/// Compute a counter example from a spot::emptiness_check_status
class
counter_example
{
public:
...
...
@@ -42,6 +43,7 @@ namespace spot
/// \brief Display the example computed by counter_example().
///
/// \param os the output stream
/// \param restrict optional automaton to project the example on.
std
::
ostream
&
print_result
(
std
::
ostream
&
os
,
const
tgba
*
restrict
=
0
)
const
;
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment