chocoteam / chocoteam/choco-solver
FiniteAutomaton : declare a factory for intersection, etc.
Open
good first issue
- Dominant language
- Java
- Stars
- 779
- Forks
- 159
- Avg merge
- 6d 9h
- Merged PRs (30d)
- 10
Description
Some methods are declared in `FiniteAutomaton` but should be moved to a factory to avoid mis-interpretation.
F-ex, calling `a1.intersection(a2)` returns a new `FiniteAutomaton` which is the result of the intersection between 'a1' and 'a2' but also modifies 'a1' (which is unexpected).
Contributor guide
Assessment
This issue has not been assessed yet.