org.eclipse.viatra.query.runtime.localsearch.matcher.integration

Class AllValidAdornments

java.lang.Object

org.eclipse.viatra.query.runtime.localsearch.matcher.integration.AllValidAdornments

All Implemented Interfaces:

IAdornmentProvider

public class AllValidAdornments
extends java.lang.Object
implements IAdornmentProvider

This implementation calculates all valid adornments for the given query, respecting the parameter direction constraints.

Since:

1.5

Constructor Summary

Constructors

Constructor and Description
AllValidAdornments()

Method Summary

Modifier and Type	Method and Description
java.lang.Iterable<java.util.Set<PParameter>>	getAdornments(PQuery query) The bound parameter sets

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AllValidAdornments

public AllValidAdornments()

Method Detail

getAdornments

public java.lang.Iterable<java.util.Set<PParameter>> getAdornments(PQuery query)

Description copied from interface: IAdornmentProvider

The bound parameter sets

Specified by:

getAdornments in interface IAdornmentProvider