・Main の更新漏れ．・PrimitivePullPushDelta#toString() で正しく出力されていなかったのを修正．

Fork: 0

nitta-lab / DesignCraft

Browse code ・Main の更新漏れ．・PrimitivePullPushDelta#toString() で正しく出力されていなかったのを修正． fixDefaultDeltas main
1 parent 6480c00 commit fe9ed2829e5df2bf66e2481b652e53e7e971240b n-nitta authored 4 days ago

Patch

Unified Split

Showing 2 changed files

Ignore Space Show notes View src/main/java/Main.java

Ignore Space Show notes View src/main/java/models/deltaAlgebra/PrimitivePullPushDelta.java

Show line notes below