Browse code in, codomain membership, domain membershipを実装 feature/axiom-inference-mk2
1 parent 0dd6a29 commit 8fbdd2da53bf40d26e33f4241f11b6f46bc0671f Sakoda2269 authored 14 days ago

Showing 25 changed files

• src/main/java/inference/In.java
• src/main/java/inference/InferenceRule.java
• src/main/java/inference/axioms/MapComposition.java
• src/main/java/inference/axioms/RedundancyElimination.java
• src/main/java/inference/axioms/RightNormalization.java
• src/main/java/inference/axioms/UncurriedMapping.java
• src/main/java/inference/axioms/Uncurrying.java
• src/main/java/models/formulas/meta/MetaDependencyFormula.java
• src/main/java/models/formulas/meta/MetaEquationFormula.java
• src/main/java/models/formulas/meta/MetaFormula.java
• src/main/java/models/terms/RDLTerm.java
• src/main/java/models/terms/meta/MatchConstraint.java
• src/main/java/models/terms/meta/MetaDependency.java
• src/main/java/models/terms/meta/MetaDependencyTerm.java
• src/main/java/models/terms/meta/MetaDynamicDependency.java
• src/main/java/models/terms/meta/MetaDynamicDependencyTerm.java
• src/main/java/models/terms/meta/MetaRDLTerm.java
• src/main/java/models/terms/meta/MetaResource.java
• src/main/java/models/terms/meta/MetaVariable.java
• src/test/java/inferencerule/InTest.java
• src/test/java/terms/meta/MetaDependencyTermTest.java
• src/test/java/terms/meta/MetaDependencyTest.java
• src/test/java/terms/meta/MetaDynamicDependencyTermTest.java
• src/test/java/terms/meta/MetaDynamicDependencyTest.java
• src/test/java/terms/meta/MetaResourceVariableTest.java

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

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

Ignore Space Show notes View src/main/java/inference/axioms/MapComposition.java

Ignore Space Show notes View src/main/java/inference/axioms/RedundancyElimination.java

Ignore Space Show notes View src/main/java/inference/axioms/RightNormalization.java

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

Ignore Space Show notes View src/main/java/inference/axioms/Uncurrying.java

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/RDLTerm.java

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

Ignore Space Show notes View src/test/java/terms/meta/MetaDependencyTermTest.java

Ignore Space Show notes View src/test/java/terms/meta/MetaDependencyTest.java

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

Ignore Space Show notes View src/test/java/terms/meta/MetaDynamicDependencyTest.java

Ignore Space Show notes View src/test/java/terms/meta/MetaResourceVariableTest.java

Show line notes below