MetaDynamicTerm追加

Fork: 0

nitta-lab / RDLProofSystem

Browse code MetaDynamicTerm追加 feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent eca6228 commit 16510cdd1929963825b0c472a4bedc82c23f1ed0 Sakoda2269 authored 26 days ago

Patch

Unified Split

Showing 15 changed files

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

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

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

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

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

Show notes View src/main/java/models/terms/meta/MetaDependencyGenerator.java 100644 → 0

Show notes View src/main/java/models/terms/meta/MetaDependencyTermGenerator.java 100644 → 0

Ignore Space Show notes View src/main/java/models/terms/meta/MetaDynamicTerm.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/MetaTermGenerator.java 0 → 100644

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

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

Ignore Space Show notes View src/test/java/terms/meta/MetaDynamicTermTest.java 0 → 100644

Show line notes below