Contains code planners that can model the behavior of a machine.