Browse code merge main feature/axiom-inference-mk2
commit 1a55b15731306b2cb03c66541bf2be1332567954 2 parents b9eb38e + 9d09c2a Sakoda2269 authored 20 days ago

Showing 32 changed files

• 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/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/meta/MetaDependency.java
• src/main/java/models/terms/meta/MetaDependencyTerm.java
• src/main/java/models/terms/meta/MetaDependencyTermVariable.java
• src/main/java/models/terms/meta/MetaDependencyVariable.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/test/java/equivalence/SubstituteTest.java
• src/test/java/formulas/meta/MetaEquationFormulaTest.java
• src/test/java/inferencerule/DependencyAxiomTest.java
• src/test/java/inferencerule/EqualityAxiomTest.java
• src/test/java/rewrite/RewriteInferenceTest.java
• src/test/java/terms/DependencyTermTest.java
• src/test/java/terms/DependencyTest.java
• src/test/java/terms/EqualsTest.java
• src/test/java/terms/OrderTest.java
• src/test/java/terms/meta/MetaDependencyTermTest.java
• src/test/java/terms/meta/MetaDependencyTest.java
• src/test/java/terms/meta/MetaDependencyVariableTest.java
• src/test/java/terms/meta/MetaDynamicDependencyTest.java
• src/test/java/terms/meta/MetaEvaluatableTermVariableTest.java
• src/test/java/terms/meta/MetaResourceVariableTest.java
• src/test/java/terms/meta/SubstituteTest.java

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

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

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

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

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

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

Ignore Space Show notes View src/main/java/models/terms/ResourceConstant.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/MetaDependencyTermVariable.java

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

Ignore Space Show notes View src/main/java/models/terms/meta/MetaEvaluatableTermVariable.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/MetaRDLTermVariable.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/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/inferencerule/DependencyAxiomTest.java

Ignore Space Show notes View src/test/java/inferencerule/EqualityAxiomTest.java

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

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

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

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

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

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

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

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

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

Ignore Space Show notes View src/test/java/terms/meta/MetaEvaluatableTermVariableTest.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