Browse code test完了 feature/axiom-inference-mk2
1 parent 2da711b commit 25fc879c99864555c556c3dc9f36459396b630f1 Sakoda2269 authored 6 days ago

Showing 26 changed files

• src/main/java/Main.java
• src/main/java/inference/EquationAxiom.java
• src/main/java/inference/In.java
• src/main/java/inference/axioms/Constantness.java
• src/main/java/inference/axioms/Identity.java
• src/main/java/inference/axioms/LeftSubstitution.java
• src/main/java/inference/axioms/MapComposition.java
• src/main/java/inference/axioms/PseudoConstantness.java
• src/main/java/inference/axioms/RightSubstitution.java
• src/main/java/inference/axioms/Uncurrying.java
• src/main/java/models/Position.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/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/MetaDynamicTerm.java
• src/main/java/models/terms/meta/MetaRDLTerm.java
• src/main/java/models/terms/meta/MetaTermGenerator.java
• src/main/java/models/terms/meta/MetaVariable.java
• src/test/java/inferencerule/EqualityAxiomTest.java
• src/test/java/terms/meta/MetaDynamicDependencyTermTest.java
• src/test/java/terms/meta/MetaDynamicDependencyTest.java

Ignore Space Show notes View src/main/java/Main.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/axioms/Constantness.java

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

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

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

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

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

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

Ignore Space Show notes View src/main/java/models/Position.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/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/MetaDynamicTerm.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/MetaTermGenerator.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

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

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

Show line notes below