Vcsn  2.4
Be Rational
star-status.hh
Go to the documentation of this file.
1 #pragma once
2 
3 namespace vcsn
4 {
6  {
10 
11  // valid iff there is no epsilon-circuit with weight zero. Warning: the
12  // property tested here is the acyclicity, which is equivalent only in
13  // zero divisor free semirings.
15 
18 
21  };
22 };
always valid.
Definition: star-status.hh:17
Definition: a-star.hh:8
valid iff proper succeeds on the "absolute value" of the automaton
Definition: star-status.hh:9
star_status_t
Definition: star-status.hh:5
valid iff proper succeeds.
Definition: star-status.hh:20