Merge branch 'main' into feature/meta-model2
commit 1dab930c95b1affbae3df1d48404aa18d62a8dd2
2 parents 9745bde + 43ddfcb
@Sakoda2269 Sakoda2269 authored on 31 Oct
Showing 10 changed files
View
src/Main.java
View
src/inference/InferenceRule.java 0 → 100644
View
src/models/formulas/DependencyFormula.java 0 → 100644
View
src/models/formulas/EquationFormula.java 0 → 100644
View
src/models/formulas/Formula.java 0 → 100644
View
src/models/formulas/meta/MetaDependencyFormula.java 0 → 100644
View
src/models/formulas/meta/MetaEquationFormula.java 0 → 100644
View
src/models/formulas/meta/MetaFormula.java 0 → 100644
View
src/tests/formulas/meta/MetaEquationFormulaTest.java 0 → 100644
View
src/tests/inferencerule/InferenceRuleTest.java 0 → 100644