isMatchedByからdepthを削除

Fork: 0

nitta-lab / RDLProofSystem

Browse code isMatchedByからdepthを削除 feature/axiom-inference-mk2
1 parent 1a55b15 commit 9f6f0035275d96fa58df713f349ea464e34a936b Sakoda2269 authored 20 days ago

Patch

Unified Split

Showing 6 changed files

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/MetaDynaimcDependencyTerm.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/MetaRDLTerm.java

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

Show line notes below