public interface ResultBinding
Title: Result Binding Interface
Description:
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
| Modifier and Type | Method and Description |
|---|---|
ResultBinding |
duplicate()
Clones the binding.
|
Set<aterm.ATermAppl> |
getAllVariables()
Returns all variables in this binding.
|
aterm.ATermAppl |
getValue(aterm.ATermAppl var)
Gets value for given variable.
|
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 bindings)
Sets all variable bindings according to the bindings.
|
aterm.ATermAppl getValue(aterm.ATermAppl var)
variable - for which return the valuevoid setValues(ResultBinding bindings)
bindings - to be set.void setValue(aterm.ATermAppl var,
aterm.ATermAppl binding)
bindings - to be set.var - variable to set.boolean isBound(aterm.ATermAppl var)
var - variable to determine.Set<aterm.ATermAppl> getAllVariables()
boolean isEmpty()
ResultBinding duplicate()
Copyright © 2019. All rights reserved.