Pull requests - nitta-lab/RDLProofSystem

Fork: 0

nitta-lab / RDLProofSystem

...

2 commits

19 files changed

0 commit comments

1 contributor

Commits on 2026-09-14

Sakoda2269	dynamicTermのisMatchedByまで	b9eb38e
Sakoda2269	dynami 修正　途中まで	10574c8

Patch

Unified Split

Showing 19 changed files

Ignore Space Show notes View src/main/java/Main.java

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/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/MetaDynaimcDependencyTerm.java 0 → 100644

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

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

Ignore Space Show notes View src/main/java/models/terms/meta/MetaRDLTerm.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/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/MetaDynamicDependencyTest.java 0 → 100644

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