Signal Temporal Logic

[pcanelas]

This is work in progress in implementing for Online and Offline Learning of Signal Temporal Logic Specifications.

[pcanelas]

@alcides, I am getting the following error, any idea why? I believe that the all productions reach a terminal.

  File "/Users/pasantos/Desktop/git/code/GeneticEngine/geneticengine/representations/tree/initializations.py", line 99, in __init__
    self.validate()
    ~~~~~~~~~~~~~^^
  File "/Users/pasantos/Desktop/git/code/GeneticEngine/geneticengine/representations/tree/initializations.py", line 111, in validate
    raise GeneticEngineError(
    ...<2 lines>...
    )
geneticengine.exceptions.GeneticEngineError: Grammar's minimal tree depth is 1000000, which is the default tree depth.
                    It's highly like that there are nodes of your grammar than cannot reach any terminal.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 89.10%. Comparing base (be9adcd) to head (6f0982c).
Report is 109 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #248      +/-   ##
==========================================
- Coverage   89.53%   89.10%   -0.43%     
==========================================
  Files          89       90       +1     
  Lines        4728     4717      -11     
==========================================
- Hits         4233     4203      -30     
- Misses        495      514      +19     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.