Merge pull request #11 from Sakoda2269/fix/dependency

Fork: 0

nitta-lab / RDLProofSystem

Browse code Merge pull request #11 from Sakoda2269/fix/dependency dependencyが依存リソースを複数持てるようにした feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
commit 9d1768e71b7f8b876a357e135ae1d321e9a0b8ed 2 parents 37da19e + 38c95e9 Sakoda2269 authored on 13 Jun GitHub committed on 13 Jun

Patch

Unified Split

Showing 4 changed files

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/terms/Dependency.java

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

Show line notes below