alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* spot/twaalgos/split.hh: Typo in comment.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2024-04-10 21:58:32 +02:00
parent 9230614f8d
commit 1a5b4f00f5
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
spot/twaalgos/split.hh
View file

@ -196,7 +196,8 @@ namespace spot
/// \brief Separate a label
///
/// This returns a pseudo-container that can be used to iterate
/// over the elements of the basis compatible with the current labal.
/// over the elements of the basis compatible with the current
/// label.
///
/// For instance if the basis was created from {a,b} (i.e., the
/// basis is actually {!a&!b,a&!b,!a&b,a&b}), and the label is