isMatchedByの戻り値と引数の型を変更

Fork: 0

nitta-lab / RDLProofSystem

Browse code isMatchedByの戻り値と引数の型を変更 feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent cfb6232 commit 5ae8b7545b00832daff635b3061951f189173027 Sakoda2269 authored on 29 Jul

Patch

Unified Split

Showing 11 changed files

Show notes View src/main/java/models/formulas/InFormula.java 100644 → 0

Ignore Space Show notes View src/main/java/models/formulas/meta/MetaDependencyFormula.java

Ignore Space Show notes View src/main/java/models/formulas/meta/MetaEquationFormula.java

Ignore Space Show notes View src/main/java/models/formulas/meta/MetaFormula.java

Show notes View src/main/java/models/formulas/meta/MetaInFormula.java 100644 → 0

Ignore Space Show notes View src/main/java/models/terms/meta/MatchConstraint.java 0 → 100644

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

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

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