dynamicなマッチングの時に項のサイズを取得できるようにした

Fork: 0

nitta-lab / RDLProofSystem

Browse code dynamicなマッチングの時に項のサイズを取得できるようにした feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent af2b14c commit c8a2417cb6c08c0c7bb2142cd0d0deb4ff22bee5 Sakoda2269 authored on 6 Aug

Patch

Unified Split

Showing 5 changed files

Ignore Space Show notes View src/main/java/models/formulas/meta/MetaDependencyFormula.java

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

Ignore Space Show notes View src/main/java/models/terms/meta/MetaDependencyTermGenerator.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

Show line notes below