Class RuleEngines
- java.lang.Object
-
- org.eclipse.viatra.transformation.evm.specific.RuleEngines
-
public class RuleEngines extends java.lang.Object
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static RuleEngine
createViatraQueryRuleEngine(ViatraQueryEngine engine)
Creates a new rule engine that is initialized over the given ViatraQueryEngine and an agenda without rules.static RuleEngine
createViatraQueryRuleEngine(ViatraQueryEngine engine, java.util.Set<RuleSpecification<?>> specifications)
Creates a new rule engine that is initialized over the given ViatraQueryEngine and an agenda with the given (unfiltered) rule specifications.
-
-
-
Method Detail
-
createViatraQueryRuleEngine
public static RuleEngine createViatraQueryRuleEngine(ViatraQueryEngine engine)
Creates a new rule engine that is initialized over the given ViatraQueryEngine and an agenda without rules.- Parameters:
engine
-- Returns:
- the prepared rule engine
-
createViatraQueryRuleEngine
public static RuleEngine createViatraQueryRuleEngine(ViatraQueryEngine engine, java.util.Set<RuleSpecification<?>> specifications)
Creates a new rule engine that is initialized over the given ViatraQueryEngine and an agenda with the given (unfiltered) rule specifications.- Parameters:
engine
-specifications
-- Returns:
- the prepared rule engine
-
-