Browse code Merge pull request #8 from Sakoda2269/feature/semantic-equivalence Feature/semantic equivalence main
commit 3d0dc31c8f0f11a4a66da58f61ba85e8d57fa8bb 2 parents 80735d2 + 9019600 Sakoda2269 authored on 28 Feb GitHub committed on 28 Feb

Showing 27 changed files

• src/Main.java
• src/exceptions/SubstituteFailedException.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/models/formulas/EquationFormula.java
• src/models/terms/DependencyTerm.java
• src/models/terms/EvaluatableTerm.java
• src/models/terms/LinearRightNormalizedType.java
• src/models/terms/ResourceConstant.java
• src/models/terms/ResourceVariable.java
• src/models/terms/SetEvaluatableTerm.java
• src/models/terms/meta/MetaDependencyTermVariable.java
• src/models/terms/meta/MetaEvaluatableTermVariable.java
• src/models/terms/meta/MetaRDLTerm.java
• src/models/terms/meta/MetaVariable.java
• src/models/terms/meta/OrderVariableConstraint.java
• src/tests/equivalence/SubstituteTest.java
• src/tests/inferencerule/InferenceRuleTest.java
• src/tests/terms/LinearRightNormalTest.java
• src/tests/terms/meta/SubstituteTest.java
• src/tests/utils/DynamicDSUTest.java
• src/utils/DynamicDisjointSetUnion.java
• src/utils/ExpressionUitls.java
• src/utils/Permutation.java

Ignore Space Show notes View src/Main.java

Ignore Space Show notes View src/exceptions/SubstituteFailedException.java 0 → 100644

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

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

Ignore Space Show notes View src/inference/equivalence/MetaSemanticEquivalenceRelation.java 0 → 100644

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

Ignore Space Show notes View src/inference/equivalence/SemanticEquivalenceRelation.java 0 → 100644

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Ignore Space Show notes View src/tests/utils/DynamicDSUTest.java 0 → 100644

Ignore Space Show notes View src/utils/DynamicDisjointSetUnion.java 0 → 100644

Ignore Space Show notes View src/utils/ExpressionUitls.java 0 → 100644

Ignore Space Show notes View src/utils/Permutation.java 0 → 100644

Show line notes below