Vcsn  2.2
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 };
valid iff proper succeeds.
Definition: star-status.hh:20
Definition: a-star.hh:8
always valid.
Definition: star-status.hh:17
valid iff proper succeeds on the "absolute value" of the automaton
Definition: star-status.hh:9
star_status_t
Definition: star-status.hh:5