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 6227835 commit f88bb35be78cebff66b0926c09a6d9b9035f148e Sakoda2269 authored 18 days ago

Patch

Unified Split

Showing 7 changed files

Ignore Space Show notes View src/main/java/inference/InferenceRule.java

Ignore Space Show notes View src/main/java/inference/ProofSystem.java

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

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

Show line notes below