aig-upf / universal-planning-validator

Software for validating classical plans and planning programs (under development)
GNU General Public License v3.0
4 stars 0 forks source link

[BUG] Take into account updated expressions when evaluating them #5

Open ertsiger opened 6 years ago

ertsiger commented 6 years ago

For example, if an action increments a function X by 1, then we must reflect this update on the Instance: updates of functions that depend on X, or conditions that depend on X need this updated values!