Documentation ¶ Overview ¶ inertia prints the inertial status of each predicate. The table that is printed, for each domain, mimics that of Figure 5 in: On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas, by Koehler and Hoffmann, 2000. Source Files ¶ View all Source files main.go Click to show internal directories. Click to hide internal directories.