Browse code requiredAssumptions実装まで feature/axiom-inference-mk2
1 parent 8fbdd2d commit d8a659086442cc24470519d75fa513213f15735d Sakoda2269 authored 14 days ago

Showing 12 changed files

• src/main/java/inference/EquationAxiom.java
• src/main/java/inference/In.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/MetaRDLTerm.java
• src/main/java/models/terms/meta/MetaVariable.java
• src/test/java/inferencerule/EqualityAxiomTest.java

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

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

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

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

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

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

Show line notes below