RDLTerm 以下の Type と Symbol を削除（RDLWorkbenchに委譲）

Fork: 0

nitta-lab / RDLProofSystem

Browse code RDLTerm 以下の Type と Symbol を削除（RDLWorkbenchに委譲） main separateDTRAMTerm
1 parent ba82d78 commit b474f6943beea06aeded87054113c6d82d00aeba n-nitta authored 13 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