Browse code 複数引数の代入など修正 feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent 12b6424 commit 9afd5d538be0ac8bd0c6ff91af53ace4cde17922 Sakoda2269 authored on 6 Aug

Showing 13 changed files

• src/main/java/inference/InferenceRule.java
• src/main/java/inference/ProofSystem.java
• src/main/java/models/formulas/DependencyFormula.java
• src/main/java/models/formulas/meta/MetaDependencyFormula.java
• src/main/java/models/formulas/meta/MetaEquationFormula.java
• src/main/java/models/formulas/meta/MetaFormula.java
• src/main/java/models/terms/Dependency.java
• src/main/java/models/terms/meta/MetaDependencyGenerator.java
• src/main/java/models/terms/meta/MetaDependencyTermGenerator.java
• src/main/java/models/terms/meta/MetaRDLTerm.java
• src/test/java/inferencerule/DependencyAxiomTest.java
• src/test/java/terms/DependencyTermTest.java
• src/test/java/terms/DependencyTest.java

Ignore Space Show notes View src/main/java/inference/InferenceRule.java

Ignore Space Show notes View src/main/java/inference/ProofSystem.java

Ignore Space Show notes View src/main/java/models/formulas/DependencyFormula.java

Ignore Space Show notes View src/main/java/models/formulas/meta/MetaDependencyFormula.java

Ignore Space Show notes View src/main/java/models/formulas/meta/MetaEquationFormula.java

Ignore Space Show notes View src/main/java/models/formulas/meta/MetaFormula.java

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

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

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

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

Ignore Space Show notes View src/test/java/inferencerule/DependencyAxiomTest.java 0 → 100644

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

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

Show line notes below