Class OneVariableInstruction

    • Constructor Detail

      • OneVariableInstruction

        public OneVariableInstruction​(java.lang.String varName)
        Constructor.
        Parameters:
        varName - the name of the Variable used in this instruction
    • Method Detail

      • addOrCheckDefinition

        protected MatchResult addOrCheckDefinition​(Variable variable,
                                                   BindingSet bindingSet)
        Add a variable definition to the given BindingSet, or if there is an existing definition, make sure it is consistent with the new definition.
        Parameters:
        variable - the Variable which should be added or checked for consistency
        bindingSet - the existing set of bindings
        Returns:
        a MatchResult containing the updated BindingSet (if the variable is consistent with the previous bindings), or null if the new variable is inconsistent with the previous bindings