Browse code 依存関係の推論実装完了 feature/axiom-inference-mk2
1 parent 87b773d commit 73a7ac2caf7f15c9e339f51796a86c3ab07d95b4 Sakoda2269 authored 19 days ago

Showing 12 changed files

• src/main/java/Main.java
• src/main/java/inference/DependencyAxiom.java
• src/main/java/inference/ProofSystem.java
• src/main/java/inference/axioms/ArgumentExtension.java
• src/main/java/inference/axioms/ArgumentReduction.java
• src/main/java/inference/axioms/CompositeMapping.java
• src/main/java/inference/axioms/ConstantMapping.java
• src/main/java/inference/axioms/DependencyExtension.java
• src/main/java/inference/axioms/MapComposition.java
• src/main/java/inference/axioms/UncurriedMapping.java
• src/main/java/models/terms/meta/MetaDynamicDependency.java
• src/test/java/inference/DependencyInferenceTest.java

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

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

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

Ignore Space Show notes View src/main/java/inference/axioms/ArgumentExtension.java

Ignore Space Show notes View src/main/java/inference/axioms/ArgumentReduction.java

Ignore Space Show notes View src/main/java/inference/axioms/CompositeMapping.java

Ignore Space Show notes View src/main/java/inference/axioms/ConstantMapping.java

Ignore Space Show notes View src/main/java/inference/axioms/DependencyExtension.java

Ignore Space Show notes View src/main/java/inference/axioms/MapComposition.java

Ignore Space Show notes View src/main/java/inference/axioms/UncurriedMapping.java

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

Ignore Space Show notes View src/test/java/inference/DependencyInferenceTest.java

Show line notes below