📄 method.java
字号:
package JSHOP2;/** Each method at run time is represented as a class derived from this * abstract class. * * @author Okhtay Ilghami * @author <a href="http://www.cs.umd.edu/~okhtay">http://www.cs.umd.edu/~okhtay</a> * @version 1.0.3*/public abstract class Method extends DomainElement{ /** An array of task lists to any of which this method can decompse * its associated task given that the corresponding precondition is * satisfied. */ private TaskList[] subs; /** To initialize the method. * * @param head * head of the method. */ public Method(Predicate head) { super(head); } /** To get the label of a given branch of this method. * * @param which * the branch the label of which is to be returned. * @return * the label for that branch. */ public abstract String getLabel(int which); /** To get the possible decompositions of this method. * * @return * an array of possible decompositions. */ public TaskList[] getSubs() { return subs; } /** To set the possible decompositions of this method. * * @param subsIn * an array of possible decompositions. */ public void setSubs(TaskList[] subsIn) { subs = subsIn; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -