Seperate the past context for performance

heron-solver / heron

🏺 Simulation Solver for Timed Causality Models in TESL

MIT License

5 stars 1 forks source link

Open hai-nguyen-van opened 1 year ago

hai-nguyen-van commented 1 year ago

The past context could be separated into two contexts with respect to the current simulation step index:

A context with current constraints
A context with already satisfying constraints that no longer require to go through the arithmetic and logic solver