public class Bind extends Element
Constructor and Description |
---|
Bind(int n)
Initialise a Bind element: remember the index
n which is the
place in Domain's where it may store its value. |
public Bind(int n)
n
which is the
place in Domain's where it may store its value.public boolean match(Domain d, Node x)
public Node asNodeMatch(Domain d)
asNodeMatch
in class Element
d
- the domain holding the variable bindingsLicenced under the Apache License, Version 2.0