|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface BindingHelper
Title: Binding Helper
Description: Binding helper interface.
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
Method Summary | |
---|---|
java.util.Collection<? extends AtomVariable> |
getBindableVars(java.util.Collection<AtomVariable> bound)
Returns a set of variables which this binding helper can bind. |
java.util.Collection<? extends AtomVariable> |
getPrerequisiteVars(java.util.Collection<AtomVariable> bound)
Returns a set of variables which must be bound before this helper can generate bindings. |
void |
rebind(VariableBinding newBinding)
Set the incoming binding for this helper. |
boolean |
selectNextBinding()
Selects the next binding. |
void |
setCurrentBinding(VariableBinding currentBinding)
Set the variables this pattern uses in the given map. |
Method Detail |
---|
java.util.Collection<? extends AtomVariable> getBindableVars(java.util.Collection<AtomVariable> bound)
java.util.Collection<? extends AtomVariable> getPrerequisiteVars(java.util.Collection<AtomVariable> bound)
void rebind(VariableBinding newBinding)
newBinding
- Binding map. Implementation will
copy map if needed.boolean selectNextBinding()
void setCurrentBinding(VariableBinding currentBinding)
currentBinding
-
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |