書き換えの推論を少し実装

Fork: 0

k-sakoda / ResourceDependencyLogic

Browse code 書き換えの推論を少し実装 main
1 parent 1422f72 commit dc7a70045eecfa07d4b6e65b7e1d9c29fe70d54a Sakoda2269 authored 13 days ago

Patch

Unified Split

Showing 24 changed files

Ignore Space Show notes View src/Main.java

Ignore Space Show notes View src/inference/ProofSystem.java

Ignore Space Show notes View src/inference/equivalence/SemanticEquivalenceProofSystem.java

Ignore Space Show notes View src/inference/rewrite/RewriteInferenceSystem.java 0 → 100644

Ignore Space Show notes View src/models/formulas/DependencyFormula.java

Ignore Space Show notes View src/models/formulas/Then.java 0 → 100644

Ignore Space Show notes View src/models/formulas/meta/MetaDependencyFormula.java

Ignore Space Show notes View src/models/terms/Dependency.java

Ignore Space Show notes View src/models/terms/PrimedTerm.java 0 → 100644

Ignore Space Show notes View src/models/terms/Resource.java 0 → 100644

Show notes View src/models/terms/ResourceVariable.java 100644 → 0

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

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

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

Ignore Space Show notes View src/tests/equivalence/SubstituteTest.java

Ignore Space Show notes View src/tests/formulas/meta/MetaEquationFormulaTest.java

Ignore Space Show notes View src/tests/inferencerule/InferenceRuleTest.java

Ignore Space Show notes View src/tests/terms/EqualsTest.java

Ignore Space Show notes View src/tests/terms/LinearRightNormalTest.java

Ignore Space Show notes View src/tests/terms/meta/MetaDependencyVariableTest.java

Ignore Space Show notes View src/tests/terms/meta/MetaEvaluatableTermVariableTest.java

Ignore Space Show notes View src/tests/terms/meta/MetaRDLTermTest.java

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

Ignore Space Show notes View src/tests/terms/meta/SubstituteTest.java

Show line notes below