Browse code Merge pull request #17 from Sakoda2269/feature/axiom-inference-mk2 Feature/axiom inference mk2 main separateDTRAMTerm
commit ba82d78d2222d19c17479e4678c4e21d67afc0b8 2 parents ba1b05a + e994038 Sakoda2269 authored 1 day ago GitHub committed 1 day ago

Showing 11 changed files

• src/main/java/Main.java
• src/main/java/inference/Constantness.java
• src/main/java/inference/ProofSystem.java
• src/main/java/models/formulas/meta/MetaDependencyFormula.java
• src/main/java/models/terms/meta/MetaDependency.java
• src/main/java/models/terms/meta/MetaDynamicDependency.java
• src/main/java/models/terms/meta/MetaDynamicTerm.java
• src/main/java/models/terms/meta/MetaTermGenerator.java
• src/test/java/inferencerule/DependencyAxiomTest.java
• src/test/java/inferencerule/EqualityAxiomTest.java
• src/test/java/inferencerule/InferenceRuleTest.java

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

Show notes View src/main/java/inference/Constantness.java 100644 → 0

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

Ignore Space Show notes View src/main/java/models/formulas/meta/MetaDependencyFormula.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/MetaDynamicDependency.java 0 → 100644

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

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

Show line notes below