Class AssertDisjointPairs

All Implemented Interfaces:

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

    • AssertDisjointPairs

      public AssertDisjointPairs()
  • Method Details

    • getName

      public 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
      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
      headAction in class BaseBuiltin
      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