Browse code dynamicのsubstitutionを作成 feature/axiom-inference-mk2
1 parent 9f6f003 commit 46c8b726c6032b1d178121128102eeffddfe4628 Sakoda2269 authored 20 days ago

Showing 12 changed files

• src/main/java/Main.java
• src/main/java/models/terms/RDLTerm.java
• src/main/java/models/terms/Resource.java
• src/main/java/models/terms/meta/MetaDependency.java
• src/main/java/models/terms/meta/MetaDependencyTerm.java
• src/main/java/models/terms/meta/MetaDynaimcDependencyTerm.java
• src/main/java/models/terms/meta/MetaDynamicDependency.java
• src/main/java/models/terms/meta/MetaDynamicTerm.java
• src/main/java/models/terms/meta/MetaRDLTerm.java
• src/main/java/models/terms/meta/MetaTermGenerator.java
• src/main/java/models/terms/meta/MetaVariable.java
• src/test/java/terms/meta/MetaDynamicDependencyTest.java

Ignore Space Show notes View src/main/java/Main.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/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

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/main/java/models/terms/meta/MetaTermGenerator.java

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

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

Show line notes below