Feature #57

make it easier to use arbitrary (cycle-free) LTS as guidance information

Added by Axel Belinfante over 11 years ago. Updated over 11 years ago.

Status:ClosedStart date:04 Apr 2009
Priority:NormalDue date:
Assignee:-% Done:

100%

Category:-
Target version:1.0.0

Description

either
  • add algorithm (function) to turn cycle-free LTS into guidance by adding epsilon labels, and invoke this when using arbitrary LTS (that has no explicit epsilon label) as guidance, or
  • recognize sink-states in guidance LTS as implicit end-of-guidance

History

#1 Updated by Axel Belinfante over 11 years ago

  • Status changed from New to Resolved

is now configurable via the Guide kind

#2 Updated by Axel Belinfante over 11 years ago

  • Status changed from Resolved to Closed

special guide kind allows this in 1.0.0

#3 Updated by Axel Belinfante over 11 years ago

  • Target version set to 1.0.0
  • % Done changed from 0 to 100

Also available in: Atom PDF