Issue 1181: rename FactProxy to AtomProxy and FactPair to Atom

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.

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:21	clemens	set	nosy: + clemens
2025-02-27 14:39:38	jendrik	create

Issue1181