public class ResultBindingImpl extends Object implements ResultBinding
Title: Default implementation of the result binding.
Description:
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
| Constructor and Description |
|---|
ResultBindingImpl() |
| Modifier and Type | Method and Description |
|---|---|
ResultBinding |
duplicate()
Clones the binding.
|
boolean |
equals(Object obj) |
Set<aterm.ATermAppl> |
getAllVariables()
Returns all variables in this binding.
|
aterm.ATermAppl |
getValue(aterm.ATermAppl var)
Gets value for given variable.
|
int |
hashCode() |
boolean |
isBound(aterm.ATermAppl var)
Checks whether given variable is bound.
|
boolean |
isEmpty()
Checks for emptiness of the binding.
|
void |
setValue(aterm.ATermAppl var,
aterm.ATermAppl binding)
Sets one variable binding.
|
void |
setValues(ResultBinding binding)
Sets all variable bindings according to the bindings.
|
String |
toString() |
public void setValue(aterm.ATermAppl var,
aterm.ATermAppl binding)
setValue in interface ResultBindingvar - variable to set.public void setValues(ResultBinding binding)
setValues in interface ResultBindingbinding - to be set.public aterm.ATermAppl getValue(aterm.ATermAppl var)
getValue in interface ResultBindingpublic boolean isBound(aterm.ATermAppl var)
isBound in interface ResultBindingvar - variable to determine.public Set<aterm.ATermAppl> getAllVariables()
getAllVariables in interface ResultBindingpublic ResultBinding duplicate()
duplicate in interface ResultBindingpublic boolean isEmpty()
isEmpty in interface ResultBindingCopyright © 2019. All rights reserved.