Class key

java.lang.Object
All Implemented Interfaces:
InternalAction, java.io.Serializable
Direct Known Subclasses:
value

public class key
extends put
See Also:
Serialized Form
  • Field Details

  • Constructor Details

    • key

      public key()
  • Method Details

    • create

      public static InternalAction create()
    • execute

      public java.lang.Object execute​(TransitionSystem ts, Unifier un, Term[] args) throws java.lang.Exception
      Description copied from interface: InternalAction
      Executes the internal action. It should return a Boolean or an Iterator. A true boolean return means that the IA was successfully executed. An Iterator result means that there is more than one answer for this IA (e.g. see member internal action).
      Specified by:
      execute in interface InternalAction
      Overrides:
      execute in class put
      Throws:
      java.lang.Exception
    • getIterator

      protected java.util.Iterator<Unifier> getIterator​(Term arg, java.util.Iterator<Term> i, Unifier un) throws java.lang.Exception
      Throws:
      java.lang.Exception