metaモデル基礎作成

Fork: 0

nitta-lab / RDLProofSystem

Browse code metaモデル基礎作成 feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent 67896d2 commit e64a183eac56175f1390683a8a8fef564fc0db74 Sakoda2269 authored on 16 Oct

Patch

Unified Split

Showing 4 changed files

Ignore Space Show notes View src/models/meta/MetaDependencyTermVariable.java

Ignore Space Show notes View src/models/meta/MetaDependencyVariable.java

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

Ignore Space Show notes View src/models/meta/MetaResourceVariable.java

Show line notes below