dependencyの推論実装中

Fork: 0

nitta-lab / RDLProofSystem

Browse code dependencyの推論実装中 feature/axiom-inference-mk2
1 parent ca2e140 commit 08e8a3a90ceba83651ddb421f9ccc612ee64e29e Sakoda2269 authored 23 days ago

Patch

Unified Split

Showing 13 changed files

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

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

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

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

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

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

Show notes View src/main/java/models/terms/PrimedTerm.java 100644 → 0

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

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

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

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

Show line notes below