PatternImplication (hydra-java 0.12.0 API)

java.lang.Object
- hydra.constraints.PatternImplication

All Implemented Interfaces:

java.io.Serializable
```
public class PatternImplication
extends java.lang.Object
implements java.io.Serializable
```
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
`Pattern`	`antecedent`
`Pattern`	`consequent`
`static Name`	`FIELD_NAME_ANTECEDENT`
`static Name`	`FIELD_NAME_CONSEQUENT`
`static Name`	`TYPE_NAME`

Constructor Summary

Constructors
Constructor Description

PatternImplication(Pattern antecedent, Pattern consequent)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(java.lang.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 Detail

TYPE_NAME
```
public static final Name TYPE_NAME
```

FIELD_NAME_ANTECEDENT

public static final Name FIELD_NAME_ANTECEDENT

FIELD_NAME_CONSEQUENT

public static final Name FIELD_NAME_CONSEQUENT

antecedent
```
public final Pattern antecedent
```

consequent
```
public final Pattern consequent
```

Constructor Detail

PatternImplication

public PatternImplication(Pattern antecedent,
                          Pattern consequent)

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

withAntecedent

public PatternImplication withAntecedent(Pattern antecedent)

withConsequent

public PatternImplication withConsequent(Pattern consequent)