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 5ae8b75 commit 6d36cb0ebae917639b03719b72c97cf554206c57 Sakoda2269 authored on 31 Jul

Patch

Unified Split

Showing 6 changed files

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

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

Show line notes below