Browse code right sub実装まで feature/axiom-inference-mk2
1 parent 46c8b72 commit 424ec91e7957ff1f5bafb7d178344c19d7e0f3b5 Sakoda2269 authored 20 days ago

Showing 23 changed files

• src/main/java/Main.java
• src/main/java/inference/AssumptionSizeCalculator.java
• src/main/java/inference/ConclusionSizeCalculator.java
• src/main/java/inference/InferenceRule.java
• src/main/java/inference/axioms/RightSubstitution.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/meta/MetaDependency.java
• src/main/java/models/terms/meta/MetaDependencyTerm.java
• src/main/java/models/terms/meta/MetaDependencyTermVariable.java
• src/main/java/models/terms/meta/MetaDependencyVariable.java
• src/main/java/models/terms/meta/MetaDynaimcDependencyTerm.java
• src/main/java/models/terms/meta/MetaDynamicDependencyTerm.java
• src/main/java/models/terms/meta/MetaEvaluatableTermVariable.java
• src/main/java/models/terms/meta/MetaRDLTerm.java
• src/main/java/models/terms/meta/MetaRDLTermVariable.java
• src/main/java/models/terms/meta/MetaResource.java
• src/main/java/models/terms/meta/MetaTermPairGenerator.java
• src/main/java/models/terms/meta/MetaVariable.java
• src/test/java/terms/meta/MetaDependencyTermTest.java
• src/test/java/terms/meta/MetaDependencyTest.java
• src/test/java/terms/meta/MetaResourceVariableTest.java

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

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

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

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

Ignore Space Show notes View src/main/java/inference/axioms/RightSubstitution.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/MetaDependencyTermVariable.java

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

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

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

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

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

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

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

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

Show line notes below