dynamicTermのisMatchedByまで

Fork: 0

nitta-lab / RDLProofSystem

Browse code dynamicTermのisMatchedByまで feature/axiom-inference-mk2
1 parent 10574c8 commit b9eb38e1e99fbba74f6ec4c907c774c696d07ad4 Sakoda2269 authored 5 hours ago

Patch

Unified Split

Showing 16 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/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/MetaDynaimcDependencyTerm.java

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

Show line notes below