Interface ConstraintEncoder

    • Method Detail

      • addNode

        void addNode​(Node node)
        Encodes the sub-constraint (node) and adds it to the constraint.
        Parameters:
        node - the node to be added.
      • encode

        Constraint encode()
        Encodes the overall constraint.
        Returns:
        the encoded constraint.