Package hydra.constraints

Class PatternImplication

java.lang.Object

hydra.constraints.PatternImplication

All Implemented Interfaces:

Serializable, Comparable<PatternImplication>

public class PatternImplication
extends Object
implements Serializable, Comparable<PatternImplication>

A pattern which, if it matches in a given graph, implies that another pattern must also match. Query variables are shared between the two patterns.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
final Pattern	antecedent	The pattern which, if it matches, triggers the constraint
static final Name	ANTECEDENT
final Pattern	consequent	The pattern which must also match when the antecedent matches
static final Name	CONSEQUENT
static final Name	TYPE_

Constructor Summary

Constructors

Constructor	Description
PatternImplication(Pattern antecedent, Pattern consequent)

Method Summary

Modifier and Type	Method	Description
int	compareTo(PatternImplication other)
boolean	equals(Object other)
int	hashCode()
PatternImplication	withAntecedent(Pattern antecedent)
PatternImplication	withConsequent(Pattern consequent)

Methods inherited from class java.lang.Object

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

Field Details

TYPE_

public static final Name TYPE_

ANTECEDENT

public static final Name ANTECEDENT

CONSEQUENT

public static final Name CONSEQUENT

antecedent

public final Pattern antecedent

The pattern which, if it matches, triggers the constraint

consequent

public final Pattern consequent

The pattern which must also match when the antecedent matches

Constructor Details

PatternImplication

public PatternImplication(Pattern antecedent,
 Pattern consequent)

Method Details

equals

public boolean equals(Object other)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

compareTo

public int compareTo(PatternImplication other)

Specified by:

compareTo in interface Comparable<PatternImplication>

withAntecedent

public PatternImplication withAntecedent(Pattern antecedent)

withConsequent

public PatternImplication withConsequent(Pattern consequent)