A SAS axiom is basically a derived variable - its value is updated automatically each timestep based on the value of other variables, and the axiom's current value.
In my current understanding, we’d need to
Check whether each action affects the conditions of an axiom rule
If so, split that action into two actions: One for when the rest of the axiom conditions are met (including axiom value), and one for when the rest of the axiom conditions are not met
At a glance, it’s not obvious to me whether we do this.
If I understand correctly, our scoper won’t guarantee optimal solvability unless we consider axioms, since axioms basically describe side effects that we may be ignoring
A SAS axiom is basically a derived variable - its value is updated automatically each timestep based on the value of other variables, and the axiom's current value.
In my current understanding, we’d need to
At a glance, it’s not obvious to me whether we do this.
If I understand correctly, our scoper won’t guarantee optimal solvability unless we consider axioms, since axioms basically describe side effects that we may be ignoring