Browse code testを修正 feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent 6d36cb0 commit af2b14c7deddb270e53a9a1c16f5630209b16151 Sakoda2269 authored on 31 Jul

Showing 11 changed files

• src/main/java/inference/InferenceRule.java
• src/main/java/inference/ProofSystem.java
• src/main/java/models/formulas/meta/MetaFormula.java
• src/main/java/models/terms/meta/MatchConstraint.java
• src/test/java/formulas/meta/MetaEquationFormulaTest.java
• src/test/java/terms/DependencyTermTest.java
• src/test/java/terms/meta/MetaDependencyVariableTest.java
• src/test/java/terms/meta/MetaEvaluatableTermVariableTest.java
• src/test/java/terms/meta/MetaRDLTermTest.java
• src/test/java/terms/meta/MetaResourceVariableTest.java
• src/test/java/terms/meta/SubstituteTest.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/meta/MetaFormula.java

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

Ignore Space Show notes View src/test/java/formulas/meta/MetaEquationFormulaTest.java

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

Ignore Space Show notes View src/test/java/terms/meta/MetaDependencyVariableTest.java

Ignore Space Show notes View src/test/java/terms/meta/MetaEvaluatableTermVariableTest.java

Ignore Space Show notes View src/test/java/terms/meta/MetaRDLTermTest.java

Ignore Space Show notes View src/test/java/terms/meta/MetaResourceVariableTest.java

Ignore Space Show notes View src/test/java/terms/meta/SubstituteTest.java

Show line notes below