public class AlphaFixedEdgeNode extends AlphaEdgeNode
| Modifier and Type | Field and Description |
|---|---|
protected aterm.ATermAppl |
name |
roleabox, doExplanation, NO_MATCH| Constructor and Description |
|---|
AlphaFixedEdgeNode(ABox abox,
Role role,
aterm.ATermAppl subjectName) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object obj) |
int |
hashCode() |
protected <N extends Node> |
initNode() |
activate, createEdge, edgeMatches, getMatches, getMatches, getMatches, getRole, matches, toString, toWMEsactivate, initNode, print, setDoExplanationprotected <N extends Node> N initNode()
public int hashCode()
hashCode in class AlphaEdgeNodepublic boolean equals(Object obj)
equals in class AlphaEdgeNodeCopyright © 2019. All rights reserved.