📄 interpretationtest.java
字号:
package lcrf.logic;
import junit.framework.TestCase;
public class InterpretationTest extends TestCase {
public void testConstructor() throws Exception {
Interpretation i1 = new Interpretation();
assertEquals(null,i1.contains(new Atom("tomato").getTermRepresentation(),new Substitutions()));
i1.add(new Atom("tomato"));
assertEquals(new Substitutions(),i1.contains(new Atom("tomato").getTermRepresentation(),new Substitutions()));
Substitutions x = new Substitutions();
x.add(new Substitution(new Variable("X"),(new Atom("tomato").getTermRepresentation())));
assertEquals(x,i1.contains(new Atom("X").getTermRepresentation(),new Substitutions()));
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -