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 Elementd - the domain holding the variable bindingsLicenced under the Apache License, Version 2.0