Shen Tianqi
Results
2
issues of
Shen Tianqi
assignments/Assignment 1.md 中提到copy并不会生成真正的深拷贝 但是就A1A2中的源码 显然确实生成了一个深拷贝 ``` /** * Creates and returns a copy of this fact. */ public SetFact copy() { return new SetFact(this.set); } ```
```datalog @def p(X: u32, Z: u32) input output. @def q(X: u32, Y: u32, Z: u32) input output. @def r(R: u32, P: u32, E: u32) input. @def c(Y: u32, Z: u32,...