map compositionの推論を作成

Fork: 0

nitta-lab / RDLProofSystem

Browse code map compositionの推論を作成 feature/axiom-inference-mk2
1 parent 1d63340 commit 5384714192a304fdb3a43838d6da960580dbe0b1 Sakoda2269 authored 5 days ago

Patch

Unified Split

Showing 21 changed files

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

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

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

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

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

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

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

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

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

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

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

Ignore Space Show notes View src/main/java/inference/equivalence/SemanticEquivalenceRelation.java

Ignore Space Show notes View src/main/java/inference/rewrite/RewriteInferenceSystem.java

Ignore Space Show notes View src/main/java/models/Position.java

Ignore Space Show notes View src/main/java/models/algebra/Position.java

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

Ignore Space Show notes View src/main/java/models/formulas/meta/MetaEquationFormula.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/test/java/inference/ProofSystemTest.java 0 → 100644

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

Show line notes below