Merge pull request #1 from nitta-lab/separateDTRAMTerm

Fork: 0

nitta-lab / RDLProofSystem

Browse code Merge pull request #1 from nitta-lab/separateDTRAMTerm RDLTerm 以下の Type と Symbol を削除（RDLWorkbenchに委譲） main
commit 9d09c2a0a43b6b6efd4baadbe6f3ca81b5bdb4a4 2 parents ba82d78 + b474f69 迫田一希 authored 16 hours ago

Patch

Unified Split

Showing 32 changed files

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Ignore Space Show notes View src/test/java/equivalence/SubstituteTest.java

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

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

Ignore Space Show notes View src/test/java/inferencerule/EqualityAxiomTest.java

Ignore Space Show notes View src/test/java/rewrite/RewriteInferenceTest.java

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

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

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

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

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

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

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

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

Ignore Space Show notes View src/test/java/terms/meta/MetaEvaluatableTermVariableTest.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