Class AssertDisjointPairs

  • All Implemented Interfaces:
    Builtin

    public class AssertDisjointPairs
    extends BaseBuiltin
    Assert the n^2 differtFrom pairs from a distinctMembers list
    • Field Summary

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int getArgLength()
      Return the expected number of arguments for this functor or 0 if the number is flexible.
      java.lang.String getName()
      Return a name for this builtin, normally this will be the name of the functor that will be used to invoke it.
      void headAction​(Node[] args, int length, RuleContext context)
      This method is invoked when the builtin is called in a rule head.
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • AssertDisjointPairs

        public AssertDisjointPairs()
    • Method Detail

      • getName

        public java.lang.String getName()
        Return a name for this builtin, normally this will be the name of the functor that will be used to invoke it.
      • getArgLength

        public int getArgLength()
        Return the expected number of arguments for this functor or 0 if the number is flexible.
        Specified by:
        getArgLength in interface Builtin
        Overrides:
        getArgLength in class BaseBuiltin
      • headAction

        public void headAction​(Node[] args,
                               int length,
                               RuleContext context)
        This method is invoked when the builtin is called in a rule head. Such a use is only valid in a forward rule.
        Specified by:
        headAction in interface Builtin
        Overrides:
        headAction in class BaseBuiltin
        Parameters:
        args - the array of argument values for the builtin, this is an array of Nodes.
        length - the length of the argument list, may be less than the length of the args array for some rule engines
        context - an execution context giving access to other relevant data