鲁滨逊归结原理 大连理工大学 软件学院 曹晓东 人工智能

鲁滨逊归结原理 大连理工大学 软件学院 曹晓东 人工智能

package cn.edu.dut.wisdom.ex;

public class FunctionFormatException extends Exception {
	private static final long serialVersionUID = 6232727838556255735L;
	public FunctionFormatException（String message） {
		super（message）;
	}
	
	public FunctionFormatException（） {
		super（）;
	}
	
	public FunctionFormatException（Throwable tr） {
		super（tr）;
	}
	
	public FunctionFormatException（String message Throwable tr） {
		super（message tr）;
	}
	
}

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----

    .CA....       301  2010-05-22 20:18  作业2\robinson\.classpath

    .CA....       384  2010-05-22 20:18  作业2\robinson\.project

    .CA....       629  2010-05-22 20:18  作业2\robinson\.settings\org.eclipse.jdt.core.prefs

    .CA....       832  2010-05-27 12:06  作业2\robinson\bin\cn\edu\dut\wisdom\ex\FunctionFormatException.class

    .CA....      2368  2010-05-27 12:06  作业2\robinson\bin\cn\edu\dut\wisdom\mgu\Function.class

    .CA....      3144  2010-05-27 12:06  作业2\robinson\bin\cn\edu\dut\wisdom\mgu\FunctionComparer.class

    .CA....      2148  2010-05-27 12:37  作业2\robinson\bin\cn\edu\dut\wisdom\mgu\FunctionSet.class

    .CA....      1457  2010-05-27 12:30  作业2\robinson\bin\cn\edu\dut\wisdom\mgu\MostGeneralUnifier.class

    .CA....       905  2010-05-27 12:06  作业2\robinson\bin\cn\edu\dut\wisdom\mgu\Substitution.class

    .CA....      2197  2010-05-27 12:41  作业2\robinson\bin\cn\edu\dut\wisdom\mgu\SubstitutionSet.class

    .CA....      4494  2010-05-27 12:06  作业2\robinson\bin\cn\edu\dut\wisdom\robinson\Clause.class

    .CA....      2102  2010-05-27 12:06  作业2\robinson\bin\cn\edu\dut\wisdom\robinson\ClauseSet.class

    .CA....      2587  2010-05-27 12:06  作业2\robinson\bin\cn\edu\dut\wisdom\robinson\Robinson.class

    .CA....       461  2010-05-26 13:22  作业2\robinson\src\cn\edu\dut\wisdom\ex\FunctionFormatException.java

    .CA....      2190  2010-05-26 15:32  作业2\robinson\src\cn\edu\dut\wisdom\mgu\Function.java

    .CA....      3643  2010-05-26 16:04  作业2\robinson\src\cn\edu\dut\wisdom\mgu\FunctionComparer.java

    .CA....      1319  2010-05-27 12:37  作业2\robinson\src\cn\edu\dut\wisdom\mgu\FunctionSet.java

    .CA....       591  2010-05-27 12:30  作业2\robinson\src\cn\edu\dut\wisdom\mgu\MostGeneralUnifier.java

    .CA....       581  2010-05-27 11:03  作业2\robinson\src\cn\edu\dut\wisdom\mgu\Substitution.java

    .CA....      1262  2010-05-27 12:41  作业2\robinson\src\cn\edu\dut\wisdom\mgu\SubstitutionSet.java

    .CA....      3129  2010-05-26 22:57  作业2\robinson\src\cn\edu\dut\wisdom\robinson\Clause.java

    .CA....      1379  2010-05-26 22:28  作业2\robinson\src\cn\edu\dut\wisdom\robinson\ClauseSet.java

    .CA....      1777  2010-05-26 22:29  作业2\robinson\src\cn\edu\dut\wisdom\robinson\Robinson.java

    .CA..H.       162  2010-05-27 12:51  作业2\~$滨逊归结原理.docx

    .CA....      1188  2010-05-22 11:42  作业2\王亮\src\cn\dlut\edu\wang\mgu\Function.java

    .CA....      3065  2010-05-22 11:42  作业2\王亮\src\cn\dlut\edu\wang\mgu\FunctionComparer.java

    .CA....       998  2010-05-22 11:42  作业2\王亮\src\cn\dlut\edu\wang\mgu\FunctionSet.java

    .CA....       633  2010-05-22 11:42  作业2\王亮\src\cn\dlut\edu\wang\mgu\Main.java

    .CA....      1073  2010-05-22 11:42  作业2\王亮\src\cn\dlut\edu\wang\mgu\MostGeneralUnifier.java

    .CA....       499  2010-05-22 11:43  作业2\王亮\src\cn\dlut\edu\wang\mgu\Substitution.java

............此处省略39个文件信息