Interface BindingHelper

    • Method Detail

      • getBindableVars

        java.util.Collection<? extends AtomVariable> getBindableVars​(java.util.Collection<AtomVariable> bound)
        Parameters:
        bound -
        Returns:
        a set of variables which this binding helper can bind.
      • getPrerequisiteVars

        java.util.Collection<? extends AtomVariable> getPrerequisiteVars​(java.util.Collection<AtomVariable> bound)
        Parameters:
        bound -
        Returns:
        a set of variables which must be bound before this helper can generate bindings.
      • rebind

        void rebind​(VariableBinding newBinding)
        Set the incoming binding for this helper. This fixes any variables that are already bound by a preceding Binding Helper.
        Parameters:
        newBinding - Binding map. Implementation will copy map if needed.
      • selectNextBinding

        boolean selectNextBinding()
        Selects the next binding.
        Returns:
        True if a binding was available for this pattern given the initial binding. False otherwise. Will return if the binding is not set.
      • setCurrentBinding

        void setCurrentBinding​(VariableBinding currentBinding)
        Set the variables this pattern uses in the given map.
        Parameters:
        currentBinding -