Represents a partial (or complete) binding, as may be encountered during (or at the end) of the binding process. The binding is simply a mapping from quantified variables to their instantiated terms.
The binding must keep track of how many variables have actually been bound. This is because we may not end up instantiating all variables and we must know when this occurs in order to ensure the remaining variables remain quantified afterwards.
@author David J. Pearce
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|