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 bindingsCopyright ? 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009 Hewlett-Packard Development Company, LP