|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface Binding
Represents a mapping from variables to terms.
| Method Summary | |
|---|---|
Term |
apply(Variable var)
Returns the binding value for the given variable or null if the binding does not contain a mapping
for the given variable. |
boolean |
contains(Variable var)
Return true if the binding contains a mapping for the given variable. |
boolean |
isEmpty()
Returns true if no variable bindings are contained in this |
int |
size()
Returns the number of variables contained in this binding. |
java.util.Iterator<Variable> |
vars()
Returns all the variables contained in this binding |
| Methods inherited from interface com.google.common.base.Function |
|---|
equals |
| Method Detail |
|---|
Term apply(Variable var)
null if the binding does not contain a mapping
for the given variable.
apply in interface com.google.common.base.Function<Variable,Term>boolean contains(Variable var)
true if the binding contains a mapping for the given variable.
java.util.Iterator<Variable> vars()
boolean isEmpty()
true if no variable bindings are contained in this
int size()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||