public class Bound extends Element
| Constructor and Description |
|---|
Bound(int n)
Initialise a Bound element: remember
n as it is the index into the
Domain at which its value is stored. |
| Modifier and Type | Method and Description |
|---|---|
Node |
asNodeMatch(Domain d)
Answer a Node suitable as a pattern-match element in a TripleMatch approximating
this Element.
|
boolean |
match(Domain d,
Node x)
Answer true iff the node
x matches the previously-seen value at
Donain[index]. |
String |
toString() |
public Bound(int n)
n as it is the index into the
Domain at which its value is stored.public boolean match(Domain d, Node x)
x matches the previously-seen value at
Donain[index]. The matching uses datatype-value semantics, implemented by
Node::sameValueAs().public Node asNodeMatch(Domain d)
ElementasNodeMatch in class Elementd - the domain holding the variable bindingsLicenced under the Apache License, Version 2.0