Commit 5f55663a authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files


parent 50b69942
......@@ -42,8 +42,8 @@ namespace spot
/// atomic proposition and Next variables.
bdd current_state_; ///< \brief Current successor, as a
/// conjunction of Now variables.
bdd current_acc_; ///< \brief Accepting condition for the current
/// transition.
bdd current_acc_; ///< \brief Accepting conditions for the current
/// transition.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment