Browse code ディレクトリ構造変更 feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent 436801e commit 392f8b6d15c071d59012a5ada9728f78c5812083 Sakoda2269 authored on 18 May

Showing 116 changed files

• src/Main.java
• src/exceptions/CoefficientNotOneException.java
• src/exceptions/IllegalTypeException.java
• src/exceptions/NonLinearExpressionException.java
• src/exceptions/SubstituteFailedException.java
• src/exceptions/TooManyVariablesException.java
• src/inference/InferenceOrderConstraint.java
• src/inference/InferenceRule.java
• src/inference/ProofSystem.java
• src/inference/equivalence/MetaSemanticEquivalenceRelation.java
• src/inference/equivalence/SemanticEquivalenceProofSystem.java
• src/inference/equivalence/SemanticEquivalenceRelation.java
• src/inference/rewrite/RewriteInferenceSystem.java
• src/main/java/Main.java
• src/main/java/exceptions/CoefficientNotOneException.java
• src/main/java/exceptions/IllegalTypeException.java
• src/main/java/exceptions/NonLinearExpressionException.java
• src/main/java/exceptions/SubstituteFailedException.java
• src/main/java/exceptions/TooManyVariablesException.java
• src/main/java/inference/InferenceOrderConstraint.java
• src/main/java/inference/InferenceRule.java
• src/main/java/inference/ProofSystem.java
• src/main/java/inference/equivalence/MetaSemanticEquivalenceRelation.java
• src/main/java/inference/equivalence/SemanticEquivalenceProofSystem.java
• src/main/java/inference/equivalence/SemanticEquivalenceRelation.java
• src/main/java/inference/rewrite/RewriteInferenceSystem.java
• src/main/java/models/formulas/DependencyFormula.java
• src/main/java/models/formulas/EquationFormula.java
• src/main/java/models/formulas/Formula.java
• src/main/java/models/formulas/InFormula.java
• src/main/java/models/formulas/Then.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/formulas/meta/MetaInFormula.java
• src/main/java/models/terms/Dependency.java
• src/main/java/models/terms/DependencyTerm.java
• src/main/java/models/terms/EvaluatableTerm.java
• src/main/java/models/terms/LinearRightNormalizedType.java
• src/main/java/models/terms/PrimedTerm.java
• src/main/java/models/terms/RDLTerm.java
• src/main/java/models/terms/Resource.java
• src/main/java/models/terms/ResourceConstant.java
• src/main/java/models/terms/SetEvaluatableTerm.java
• src/main/java/models/terms/meta/MetaDependencyTermVariable.java
• src/main/java/models/terms/meta/MetaDependencyVariable.java
• src/main/java/models/terms/meta/MetaEvaluatableTermSet.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/MetaVariable.java
• src/main/java/models/terms/meta/OrderConstraint.java
• src/main/java/models/terms/meta/OrderVariableConstraint.java
• src/main/java/utils/DynamicDisjointSetUnion.java
• src/main/java/utils/ExpressionUitls.java
• src/main/java/utils/Permutation.java
• src/main/java/utils/Product.java
• src/models/formulas/DependencyFormula.java
• src/models/formulas/EquationFormula.java
• src/models/formulas/Formula.java
• src/models/formulas/InFormula.java
• src/models/formulas/Then.java
• src/models/formulas/meta/MetaDependencyFormula.java
• src/models/formulas/meta/MetaEquationFormula.java
• src/models/formulas/meta/MetaFormula.java
• src/models/formulas/meta/MetaInFormula.java
• src/models/terms/Dependency.java
• src/models/terms/DependencyTerm.java
• src/models/terms/EvaluatableTerm.java
• src/models/terms/LinearRightNormalizedType.java
• src/models/terms/PrimedTerm.java
• src/models/terms/RDLTerm.java
• src/models/terms/Resource.java
• src/models/terms/ResourceConstant.java
• src/models/terms/SetEvaluatableTerm.java
• src/models/terms/meta/MetaDependencyTermVariable.java
• src/models/terms/meta/MetaDependencyVariable.java
• src/models/terms/meta/MetaEvaluatableTermSet.java
• src/models/terms/meta/MetaEvaluatableTermVariable.java
• src/models/terms/meta/MetaRDLTerm.java
• src/models/terms/meta/MetaRDLTermVariable.java
• src/models/terms/meta/MetaResource.java
• src/models/terms/meta/MetaVariable.java
• src/models/terms/meta/OrderConstraint.java
• src/models/terms/meta/OrderVariableConstraint.java
• src/test/java/equivalence/SubstituteTest.java
• src/test/java/formulas/meta/MetaEquationFormulaTest.java
• src/test/java/inferencerule/InferenceRuleTest.java
• src/test/java/terms/EqualsTest.java
• src/test/java/terms/LinearRightNormalTest.java
• src/test/java/terms/meta/MetaDependencyVariableTest.java
• src/test/java/terms/meta/MetaEvaluatableTermVariableTest.java
• src/test/java/terms/meta/MetaRDLTermTest.java
• src/test/java/terms/meta/MetaResourceVariableTest.java
• src/test/java/terms/meta/SubstituteTest.java
• src/test/java/utils/DynamicDSUTest.java
• src/test/java/utils/ProductTest.java
• src/test/java/utils/Utils.java
• src/tests/Utils.java
• src/tests/equivalence/SubstituteTest.java
• src/tests/formulas/meta/MetaEquationFormulaTest.java
• src/tests/inferencerule/InferenceRuleTest.java
• src/tests/terms/EqualsTest.java
• src/tests/terms/LinearRightNormalTest.java
• src/tests/terms/meta/MetaDependencyVariableTest.java
• src/tests/terms/meta/MetaEvaluatableTermVariableTest.java
• src/tests/terms/meta/MetaRDLTermTest.java
• src/tests/terms/meta/MetaResourceVariableTest.java
• src/tests/terms/meta/SubstituteTest.java
• src/tests/utils/DynamicDSUTest.java
• src/tests/utils/ProductTest.java
• src/utils/DynamicDisjointSetUnion.java
• src/utils/ExpressionUitls.java
• src/utils/Permutation.java
• src/utils/Product.java

Show notes View src/Main.java 100644 → 0
Too large (Show diff)

Show notes View src/exceptions/CoefficientNotOneException.java 100644 → 0
Too large (Show diff)

Show notes View src/exceptions/IllegalTypeException.java 100644 → 0
Too large (Show diff)

Show notes View src/exceptions/NonLinearExpressionException.java 100644 → 0
Too large (Show diff)

Show notes View src/exceptions/SubstituteFailedException.java 100644 → 0
Too large (Show diff)

Show notes View src/exceptions/TooManyVariablesException.java 100644 → 0
Too large (Show diff)

Show notes View src/inference/InferenceOrderConstraint.java 100644 → 0
Too large (Show diff)

Show notes View src/inference/InferenceRule.java 100644 → 0
Too large (Show diff)

Show notes View src/inference/ProofSystem.java 100644 → 0
Too large (Show diff)

Show notes View src/inference/equivalence/MetaSemanticEquivalenceRelation.java 100644 → 0
Too large (Show diff)

Show notes View src/inference/equivalence/SemanticEquivalenceProofSystem.java 100644 → 0
Too large (Show diff)

Show notes View src/inference/equivalence/SemanticEquivalenceRelation.java 100644 → 0
Too large (Show diff)

Show notes View src/inference/rewrite/RewriteInferenceSystem.java 100644 → 0
Too large (Show diff)

Ignore Space Show notes View src/main/java/Main.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/exceptions/CoefficientNotOneException.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/exceptions/IllegalTypeException.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/exceptions/NonLinearExpressionException.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/exceptions/SubstituteFailedException.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/exceptions/TooManyVariablesException.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/inference/InferenceOrderConstraint.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/inference/InferenceRule.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/inference/ProofSystem.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/inference/equivalence/MetaSemanticEquivalenceRelation.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/inference/equivalence/SemanticEquivalenceProofSystem.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/inference/equivalence/SemanticEquivalenceRelation.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/inference/rewrite/RewriteInferenceSystem.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/formulas/DependencyFormula.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/formulas/EquationFormula.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/formulas/Formula.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/formulas/InFormula.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/formulas/Then.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/formulas/meta/MetaDependencyFormula.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/formulas/meta/MetaEquationFormula.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/formulas/meta/MetaFormula.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/formulas/meta/MetaInFormula.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/terms/Dependency.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/terms/DependencyTerm.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/terms/EvaluatableTerm.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/terms/LinearRightNormalizedType.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/terms/PrimedTerm.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/terms/RDLTerm.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/terms/Resource.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/terms/ResourceConstant.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/terms/SetEvaluatableTerm.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/terms/meta/MetaDependencyTermVariable.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/terms/meta/MetaDependencyVariable.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/terms/meta/MetaEvaluatableTermSet.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/terms/meta/MetaEvaluatableTermVariable.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/terms/meta/MetaRDLTerm.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/terms/meta/MetaRDLTermVariable.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/terms/meta/MetaResource.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/terms/meta/MetaVariable.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/terms/meta/OrderConstraint.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/models/terms/meta/OrderVariableConstraint.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/utils/DynamicDisjointSetUnion.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/utils/ExpressionUitls.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/utils/Permutation.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/main/java/utils/Product.java 0 → 100644
Too large (Show diff)

Show notes View src/models/formulas/DependencyFormula.java 100644 → 0
Too large (Show diff)

Show notes View src/models/formulas/EquationFormula.java 100644 → 0
Too large (Show diff)

Show notes View src/models/formulas/Formula.java 100644 → 0
Too large (Show diff)

Show notes View src/models/formulas/InFormula.java 100644 → 0
Too large (Show diff)

Show notes View src/models/formulas/Then.java 100644 → 0
Too large (Show diff)

Show notes View src/models/formulas/meta/MetaDependencyFormula.java 100644 → 0
Too large (Show diff)

Show notes View src/models/formulas/meta/MetaEquationFormula.java 100644 → 0
Too large (Show diff)

Show notes View src/models/formulas/meta/MetaFormula.java 100644 → 0
Too large (Show diff)

Show notes View src/models/formulas/meta/MetaInFormula.java 100644 → 0
Too large (Show diff)

Show notes View src/models/terms/Dependency.java 100644 → 0
Too large (Show diff)

Show notes View src/models/terms/DependencyTerm.java 100644 → 0
Too large (Show diff)

Show notes View src/models/terms/EvaluatableTerm.java 100644 → 0
Too large (Show diff)

Show notes View src/models/terms/LinearRightNormalizedType.java 100644 → 0
Too large (Show diff)

Show notes View src/models/terms/PrimedTerm.java 100644 → 0
Too large (Show diff)

Show notes View src/models/terms/RDLTerm.java 100644 → 0
Too large (Show diff)

Show notes View src/models/terms/Resource.java 100644 → 0
Too large (Show diff)

Show notes View src/models/terms/ResourceConstant.java 100644 → 0
Too large (Show diff)

Show notes View src/models/terms/SetEvaluatableTerm.java 100644 → 0
Too large (Show diff)

Show notes View src/models/terms/meta/MetaDependencyTermVariable.java 100644 → 0
Too large (Show diff)

Show notes View src/models/terms/meta/MetaDependencyVariable.java 100644 → 0
Too large (Show diff)

Show notes View src/models/terms/meta/MetaEvaluatableTermSet.java 100644 → 0
Too large (Show diff)

Show notes View src/models/terms/meta/MetaEvaluatableTermVariable.java 100644 → 0
Too large (Show diff)

Show notes View src/models/terms/meta/MetaRDLTerm.java 100644 → 0
Too large (Show diff)

Show notes View src/models/terms/meta/MetaRDLTermVariable.java 100644 → 0
Too large (Show diff)

Show notes View src/models/terms/meta/MetaResource.java 100644 → 0
Too large (Show diff)

Show notes View src/models/terms/meta/MetaVariable.java 100644 → 0
Too large (Show diff)

Show notes View src/models/terms/meta/OrderConstraint.java 100644 → 0
Too large (Show diff)

Show notes View src/models/terms/meta/OrderVariableConstraint.java 100644 → 0
Too large (Show diff)

Ignore Space Show notes View src/test/java/equivalence/SubstituteTest.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/test/java/formulas/meta/MetaEquationFormulaTest.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/test/java/inferencerule/InferenceRuleTest.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/test/java/terms/EqualsTest.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/test/java/terms/LinearRightNormalTest.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/test/java/terms/meta/MetaDependencyVariableTest.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/test/java/terms/meta/MetaEvaluatableTermVariableTest.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/test/java/terms/meta/MetaRDLTermTest.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/test/java/terms/meta/MetaResourceVariableTest.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/test/java/terms/meta/SubstituteTest.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/test/java/utils/DynamicDSUTest.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/test/java/utils/ProductTest.java 0 → 100644
Too large (Show diff)

Ignore Space Show notes View src/test/java/utils/Utils.java 0 → 100644
Too large (Show diff)

Show notes View src/tests/Utils.java 100644 → 0
Too large (Show diff)

Show notes View src/tests/equivalence/SubstituteTest.java 100644 → 0
Too large (Show diff)

Show notes View src/tests/formulas/meta/MetaEquationFormulaTest.java 100644 → 0
Too large (Show diff)

Show notes View src/tests/inferencerule/InferenceRuleTest.java 100644 → 0
Too large (Show diff)

Show notes View src/tests/terms/EqualsTest.java 100644 → 0
Too large (Show diff)

Show notes View src/tests/terms/LinearRightNormalTest.java 100644 → 0
Too large (Show diff)

Show notes View src/tests/terms/meta/MetaDependencyVariableTest.java 100644 → 0
Too large (Show diff)

Show notes View src/tests/terms/meta/MetaEvaluatableTermVariableTest.java 100644 → 0
Too large (Show diff)

Show notes View src/tests/terms/meta/MetaRDLTermTest.java 100644 → 0
Too large (Show diff)

Show notes View src/tests/terms/meta/MetaResourceVariableTest.java 100644 → 0
Too large (Show diff)

Show notes View src/tests/terms/meta/SubstituteTest.java 100644 → 0
Too large (Show diff)

Show notes View src/tests/utils/DynamicDSUTest.java 100644 → 0
Too large (Show diff)

Show notes View src/tests/utils/ProductTest.java 100644 → 0
Too large (Show diff)

Show notes View src/utils/DynamicDisjointSetUnion.java 100644 → 0
Too large (Show diff)

Show notes View src/utils/ExpressionUitls.java 100644 → 0
Too large (Show diff)

Show notes View src/utils/Permutation.java 100644 → 0
Too large (Show diff)

Show notes View src/utils/Product.java 100644 → 0
Too large (Show diff)

Show line notes below