edomata-docs
0.7.0
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
edomata-docs/edomata.core/EdomatonResult

EdomatonResult

edomata.core.EdomatonResult
enum EdomatonResult[S, E, R, N]

Representation of the result of running an edomaton

Attributes

Source:
DomainCompiler.scala
Graph
Supertypes
trait Enum
trait Product
trait Equals
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Enum entries

final case class Accepted[S, E, R, N](newState: S, events: Type[E], notifications: Chain[N])

Attributes

Source:
DomainCompiler.scala
final case class Conflicted[S, E, R, N](reasons: Type[R])

Attributes

Source:
DomainCompiler.scala
final case class Indecisive[S, E, R, N](notifications: Chain[N])

Attributes

Source:
DomainCompiler.scala
final case class Rejected[S, E, R, N](notifications: Chain[N], reasons: Type[R])

Attributes

Source:
DomainCompiler.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL