|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.clarkparsia.pellet.rules.ObjectVariableBindingHelper
public class ObjectVariableBindingHelper
Title: Object Variable Binding Helper
Description: A binding helper that will iterate over all named individuals in the abox.
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
Constructor Summary | |
---|---|
ObjectVariableBindingHelper(ABox abox,
AtomIVariable var)
|
Method Summary | |
---|---|
java.util.Collection<AtomIVariable> |
getBindableVars(java.util.Collection<AtomVariable> bound)
Returns a set of variables which this binding helper can bind. |
java.util.Collection<AtomIVariable> |
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. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public ObjectVariableBindingHelper(ABox abox, AtomIVariable var)
Method Detail |
---|
public java.util.Collection<AtomIVariable> getBindableVars(java.util.Collection<AtomVariable> bound)
BindingHelper
getBindableVars
in interface BindingHelper
public java.util.Collection<AtomIVariable> getPrerequisiteVars(java.util.Collection<AtomVariable> bound)
BindingHelper
getPrerequisiteVars
in interface BindingHelper
public void rebind(VariableBinding newBinding)
BindingHelper
rebind
in interface BindingHelper
newBinding
- Binding map. Implementation will
copy map if needed.public boolean selectNextBinding()
BindingHelper
selectNextBinding
in interface BindingHelper
public void setCurrentBinding(VariableBinding currentBinding)
BindingHelper
setCurrentBinding
in interface BindingHelper
public java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |