blob: 0af0b36af3b01e1ba05dc30de85bee3745cb7211 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
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)
{
}
}
|