metaを複数項に対応

Fork: 0

nitta-lab / RDLProofSystem

Browse code metaを複数項に対応 feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent dc509e9 commit b7dc29dd12db3ead0b85e0db199e4a13d9f07913 Sakoda2269 authored on 27 Jul

Patch

Unified Split

Showing 7 changed files

Ignore Space Show notes View src/main/java/inference/ProofSystem.java
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/terms/DependencyTerm.java

Ignore Space Show notes View src/main/java/models/terms/meta/MetaRDLTerm.java

Ignore Space Show notes View src/main/java/utils/Permutation.java

Ignore Space Show notes View src/test/java/terms/DependencyTermTest.java 0 → 100644

Ignore Space Show notes View src/test/java/terms/DependencyTest.java

Show notes View src/test/java/terms/meta/DependencyTermTest.java 100644 → 0

Show line notes below