isMatchedByにPositionを追加

Fork: 0

nitta-lab / RDLProofSystem

Browse code isMatchedByにPositionを追加 feature/axiom-inference-mk2
1 parent 1c98c0c commit 2da711b7a2a6a3f5664a094d7e96c76863881b07 Sakoda2269 authored 6 days ago

Patch

Unified Split

Showing 11 changed files

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

Show notes View src/main/java/inference/rewrite/Position.java 100644 → 0

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

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

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

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

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

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

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

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

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

Show line notes below