Issue1181

Title rename FactProxy to AtomProxy and FactPair to Atom
Priority wish Status unread
Superseder Nosy List clemens, jendrik, malte
Assigned To Keywords
Optional summary

Created on 2025-02-27.14:39:38 by jendrik, last changed by clemens.

Messages
msg11815 (view) Author: jendrik Date: 2025-02-27.14:39:38
As discussed in today's Fast Downward meeting we want to rename FactProxy to AtomProxy and FactPair to Atom. The motivation is to better align with standard naming conventions in the planning literature and other research fields.
History
Date User Action Args
2025-02-27 14:54:21clemenssetnosy: + clemens
2025-02-27 14:39:38jendrikcreate