plan-ipc 208 Bytes
Newer Older
David Speck's avatar
David Speck committed
1 2 3 4 5 6 7 8 9
#! /bin/bash

if [[ $# != 4 ]]; then
    echo "usage: $(basename "$0") PLANNER_NAME DOMAIN PROBLEM PLAN_FILE" 1>&2
    exit 1
fi

BASEDIR="$(dirname "$0")"
"$BASEDIR/plan" "$2" "$3" ipc "$1" --plan-file "$4"