Browse code 再帰的に公理を適用するように変更 feature/axiom-inference-mk2
1 parent c696b33 commit 87b773d72d40f988763f41bd7e1b38f38dec96da Sakoda2269 authored 19 days ago

Showing 14 changed files

• src/main/java/exceptions/ReplaceFailedException.java
• src/main/java/inference/DependencyAxiom.java
• src/main/java/inference/InferenceRule.java
• src/main/java/inference/axioms/UncurriedMapping.java
• src/main/java/models/Position.java
• src/main/java/models/terms/Dependency.java
• src/main/java/models/terms/DependencyTerm.java
• src/main/java/models/terms/RDLTerm.java
• src/main/java/models/terms/Resource.java
• src/main/java/models/terms/ResourceConstant.java
• src/main/java/models/terms/meta/MatchConstraint.java
• src/main/java/models/terms/meta/MetaRDLTerm.java
• src/test/java/terms/DependencyTermTest.java
• src/test/java/terms/DependencyTest.java

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

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

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

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

Ignore Space Show notes View src/main/java/models/Position.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/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/main/java/models/terms/meta/MatchConstraint.java

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

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

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

Show line notes below