Browse code merge origin feature/axiom-inference-mk2
commit 755b909037a8c91aa95d8254ac5c54af42f9431a 2 parents 7adbd54 + 08e8a3a Sakoda2269 authored 19 days ago

Showing 13 changed files

• src/main/java/Main.java
• src/main/java/inference/InferenceHistory.java
• src/main/java/inference/InferenceHistoryNode.java
• src/main/java/inference/ProofState.java
• src/main/java/inference/ProofSystem.java
• src/main/java/inference/axioms/ArgumentReduction.java
• src/main/java/models/terms/Dependency.java
• src/main/java/models/terms/DependencyTerm.java
• src/main/java/models/terms/PrimedTerm.java
• src/main/java/models/terms/RDLTerm.java
• src/main/java/models/terms/Resource.java
• src/main/java/models/terms/ResourceConstant.java
• src/test/java/inferencerule/DependencyAxiomTest.java

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