dynamicの見直し

Fork: 0

nitta-lab / RDLProofSystem

Browse code dynamicの見直し feature/axiom-inference-mk2 main separateDTRAMTerm
1 parent ba1b05a commit 3483cada7939eccf0399dd3b674c3f6439e88d5a Sakoda2269 authored 3 days ago

Patch

Unified Split

Showing 10 changed files

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

Show notes View src/main/java/inference/Constantness.java 100644 → 0

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

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

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

Ignore Space Show notes View src/test/java/inferencerule/DependencyAxiomTest.java

Ignore Space Show notes View src/test/java/inferencerule/EqualityAxiomTest.java

Ignore Space Show notes View src/test/java/inferencerule/InferenceRuleTest.java

Show line notes below