Skip to content

Implement listener on predicates #399

Description

@favu100

Listeners on predicates could be of two forms:

  • Sometimes a listener on an activation is required in the form of "wait until" for the activation to be triggered
  • Another possibility to implement a listener on predicate could be similar to listeners on events for interactive simulation

Metadata

Metadata

Assignees

Labels

ProB2UIIssue related to JavaFX ProB2UIenhancementNew feature or requestsimb
No fields configured for Feature.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions