依存関係の推論を実装

Fork: 0

nitta-lab / RDLProofSystem

Browse code 依存関係の推論を実装 feature/axiom-inference-mk2
1 parent 9854c8b commit 38dd22e092dd74240595313c79e11ca532bd3a16 Sakoda2269 authored 19 days ago

Patch

Unified Split

Showing 18 changed files

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

Ignore Space Show notes View src/main/java/exceptions/MissingContextException.java 0 → 100644

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

Ignore Space Show notes View src/main/java/inference/InferenceRule.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/ArgumentReduction.java

Ignore Space Show notes View src/main/java/inference/axioms/CompositeMapping.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/inference/axioms/Uncurrying.java

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

Ignore Space Show notes View src/test/java/inference/inferencerule/DependencyAxiomTest.java 0 → 100644

Ignore Space Show notes View src/test/java/inference/inferencerule/EqualityAxiomTest.java 0 → 100644

Show notes View src/test/java/inferencerule/DependencyAxiomTest.java 100644 → 0

Show notes View src/test/java/inferencerule/EqualityAxiomTest.java 100644 → 0

Show notes View src/test/java/inferencerule/InferenceRuleTest.java 100644 → 0

Ignore Space Show notes View src/test/java/rewrite/RewriteInferenceTest.java

Show line notes below