inertia

command
v0.0.0-...-9f1d7e3 Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Jul 10, 2013 License: MIT Imports: 5 Imported by: 0

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.

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL