MetaTermも複数引数に対応

Fork: 0

nitta-lab / RDLProofSystem

Browse code MetaTermも複数引数に対応 feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent bde9033 commit dc509e914e260ff79cbbf74dafd212f41e16999b Sakoda2269 authored on 24 Jul

Patch

Unified Split

Showing 9 changed files

Ignore Space Show notes View src/main/java/Main.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

Show notes View src/main/java/models/terms/meta/MetaEvaluatableTermSet.java 100644 → 0

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

Ignore Space Show notes View src/test/java/equivalence/SubstituteTest.java

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

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

Ignore Space Show notes View src/test/java/terms/meta/MetaDependencyVariableTest.java

Show line notes below