|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface ResultBinding
Title: Result Binding Interface
Description:
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
| Method Summary | |
|---|---|
ResultBinding |
clone()
Clones the binding. |
java.util.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. |
| Method Detail |
|---|
aterm.ATermAppl getValue(aterm.ATermAppl var)
variable - for which return the value
void 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.
java.util.Set<aterm.ATermAppl> getAllVariables()
boolean isEmpty()
ResultBinding clone()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||