Electrostat-Lab / Electrostat-Lab/Automata4j

[Core] Provide a template method to retrieve the TransitionalManager in an AutoState

Open
#11 1 comment 0 reactions 0 assignees View on GitHub
core enhancement
Dominant language
Java
Stars
5
Forks
1
No merged PRs in 30d

Description

Provide a template method `AutoState#getTransitionalManager()`.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.