public class ExtendedPR
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
implsize |
static float |
success_rate |
static int |
tasksize |
Constructor and Description |
---|
ExtendedPR() |
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String[] args) |
static int |
PlanPruning(int plans,
Constraint[] goals,
java.lang.String[] tasks,
int[][] impls,
int[][] impls2) |
public static int implsize
public static int tasksize
public static float success_rate
public static void main(java.lang.String[] args)
public static int PlanPruning(int plans, Constraint[] goals, java.lang.String[] tasks, int[][] impls, int[][] impls2)