1 files changed, 21 insertions, 0 deletions

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/formulacanonization/FormulaCanoniser.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/formulacanonization/FormulaCanoniser.xtend
new file mode 100644
index 00000000..0af0b36a
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/formulacanonization/FormulaCanoniser.xtend
@@ -0,0 +1,21 @@
+package hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.formulacanonization

+

+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion

+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition

+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDefinition

+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition

+import java.util.List

+

+/**

+ * Translates a set of assertions and definitions to viatra patterns.

+ */

+class FormulaCanoniser {

+        def canonise(

+                List<Assertion> assertions,

+                List<RelationDefinition> relations,

+                List<ConstantDefinition> constants,

+                List<FunctionDefinition> functions)

+        {

+                

+        }

+}
\ No newline at end of file