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)
Element
asNodeMatch
in class Element
d
- the domain holding the variable bindingsCopyright ? 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009 Hewlett-Packard Development Company, LP