dynamiなmetaRDLTermに対応できるよう準備

Fork: 0

nitta-lab / RDLProofSystem

Browse code dynamiなmetaRDLTermに対応できるよう準備 feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent f47be45 commit cfb623238c0df26fb3a1f98deed870111ecf1df4 Sakoda2269 authored on 29 Jul

Patch

Unified Split

Showing 4 changed files

Ignore Space Show notes View src/main/java/models/terms/meta/MetaDependencyGenerator.java 0 → 100644

Ignore Space Show notes View src/main/java/models/terms/meta/MetaDependencyTermGenerator.java 0 → 100644

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

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

Show line notes below