|
||||||||||
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 |
duplicate()
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 duplicate()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |