Merge pull request #16 from Sakoda2269/update/dependency-args

Fork: 0

nitta-lab / RDLProofSystem

Browse code Merge pull request #16 from Sakoda2269/update/dependency-args DependencyとDependencyTermの支配項の重複を許した feature/axiom-inference-mk2 main separateDTRAMTerm
commit ba1b05a8664f57ee3d5526c00b1aa7792ecc429c 2 parents 0381337 + f86f8a6 Sakoda2269 authored 4 days ago GitHub committed 4 days ago

Patch

Unified Split

Showing 17 changed files

Ignore Space Show notes View build.gradle

Ignore Space Show notes View src/main/java/Main.java

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

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

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

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

Ignore Space Show notes View src/main/java/models/terms/meta/MetaDependency.java 0 → 100644

Ignore Space Show notes View src/main/java/models/terms/meta/MetaDependencyTerm.java 0 → 100644

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/formulas/meta/MetaEquationFormulaTest.java

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

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

Ignore Space Show notes View src/test/java/terms/meta/MetaDependencyTermTest.java 0 → 100644

Ignore Space Show notes View src/test/java/terms/meta/MetaDependencyTest.java 0 → 100644

Show notes View src/test/java/terms/meta/MetaRDLTermTest.java 100644 → 0

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

Show line notes below