dependency axiom unccuried mappingまで

Fork: 0

nitta-lab / RDLProofSystem

Browse code dependency axiom unccuried mappingまで feature/axiom-inference-mk2
1 parent 3089673 commit 886fd4aa304bc948c1180e7449d35e446b6d38f5 Sakoda2269 authored 19 days ago

Patch

Unified Split

Showing 16 changed files

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

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/inference/axioms/CompositeMapping.java 0 → 100644

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

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

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/MetaDynamicDependencyTerm.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/MetaResource.java

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

Ignore Space Show notes View src/test/java/inferencerule/DependencyAxiomTest.java

Show line notes below