star-status.hh

Go to the documentation of this file.

#pragma once

namespace vcsn
{
  enum star_status_t
    {
      ABSVAL,

      // valid iff there is no epsilon-circuit with weight zero. Warning: the
      // property tested here is the acyclicity, which is equivalent only in
      // zero divisor free semirings.
      NON_STARRABLE,

      STARRABLE,

      TOPS,
    };
};