📄 countingexample.java
字号:
/**
*
*/
package lcrf.counting;
import java.util.List;
import lcrf.logic.Atom;
/**
* @author Bernd Gutmann
*
*/
public class CountingExample {
public int number;
public List<Atom> content;
public Object auxObject;
public CountingExample(List<Atom> content, int number) {
this.number = number;
this.content = content;
this.auxObject = null;
}
public String toString() {
return content.toString() + " : " + number;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -