Browse code Merge pull request #14 from Sakoda2269/feature/multi-args Feature/multi args feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
commit 742df2c5a96990a356741554dcdfee27433198eb 2 parents e850403 + c8a2417 Sakoda2269 authored on 6 Aug GitHub committed on 6 Aug

Showing 34 changed files

• src/main/java/Main.java
• src/main/java/exceptions/SyntaxException.java
• src/main/java/inference/InferenceRule.java
• src/main/java/inference/ProofSystem.java
• src/main/java/inference/rewrite/RewriteInferenceSystem.java
• src/main/java/models/formulas/DependencyFormula.java
• src/main/java/models/formulas/InFormula.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/SetEvaluatableTerm.java
• src/main/java/models/terms/meta/MatchConstraint.java
• src/main/java/models/terms/meta/MetaDependencyGenerator.java
• src/main/java/models/terms/meta/MetaDependencyTermGenerator.java
• src/main/java/models/terms/meta/MetaEvaluatableTermSet.java
• src/main/java/models/terms/meta/MetaRDLTerm.java
• src/main/java/models/terms/meta/MetaResource.java
• src/main/java/models/terms/meta/MetaVariable.java
• src/main/java/models/terms/meta/OrderVariableConstraint.java
• src/main/java/utils/Permutation.java
• src/test/java/equivalence/SubstituteTest.java
• src/test/java/formulas/meta/MetaEquationFormulaTest.java
• src/test/java/rewrite/RewriteInferenceTest.java
• src/test/java/terms/DependencyTermTest.java
• src/test/java/terms/DependencyTest.java
• src/test/java/terms/OrderTest.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

Ignore Space Show notes View src/main/java/Main.java

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

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

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

Ignore Space Show notes View src/main/java/inference/rewrite/RewriteInferenceSystem.java

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

Show notes View src/main/java/models/formulas/InFormula.java 100644 → 0

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

Show notes View src/main/java/models/formulas/meta/MetaInFormula.java 100644 → 0

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

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

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

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

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

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

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

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

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

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

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

Ignore Space Show notes View src/main/java/utils/Permutation.java

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

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

Ignore Space Show notes View src/test/java/rewrite/RewriteInferenceTest.java 0 → 100644

Ignore Space Show notes View src/test/java/terms/DependencyTermTest.java 0 → 100644

Ignore Space Show notes View src/test/java/terms/DependencyTest.java 0 → 100644

Ignore Space Show notes View src/test/java/terms/OrderTest.java

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

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

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

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

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

Show line notes below