org.eclipse.viatra.query.runtime.localsearch

Class MatchingKey

java.lang.Object

org.eclipse.viatra.query.runtime.localsearch.MatchingKey

public class MatchingKey
extends java.lang.Object

VariableType will be mapped to PatternVariable in the interpreted engine.

Constructor Summary

Constructors

Constructor and Description
MatchingKey(java.lang.Object[] keys)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object other)
int	hashCode()
java.lang.Object[]	toArray()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

MatchingKey

public MatchingKey(java.lang.Object[] keys)

Method Detail

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toArray

public java.lang.Object[] toArray()