Class BasePConstraint

    • Field Detail

      • pBody

        protected PBody pBody
    • Constructor Detail

      • BasePConstraint

        public BasePConstraint​(PBody pBody,
                               java.util.Set<PVariable> affectedVariables)
    • Method Detail

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • toStringRest

        protected abstract java.lang.String toStringRest()
      • getFunctionalDependencies

        public java.util.Map<java.util.Set<PVariable>,​java.util.Set<PVariable>> getFunctionalDependencies​(IQueryMetaContext context)
        Description copied from interface: PConstraint
        A (preferably minimal) cover of known functional dependencies between variables.
        Specified by:
        getFunctionalDependencies in interface PConstraint
        Returns:
        non-trivial functional dependencies in the form of {variables} --> {variables}, where dependencies with the same lhs are unified.
      • doReplaceVariable

        protected abstract void doReplaceVariable​(PVariable obsolete,
                                                  PVariable replacement)
      • getPSystem

        public PBody getPSystem()
        For backwards compatibility. Equivalent to getBody()
      • getBody

        public PBody getBody()
        Specified by:
        getBody in interface PConstraint
        Returns:
        the query body this constraint belongs to
        Since:
        2.1
      • getMonotonousID

        public int getMonotonousID()
        Description copied from interface: PConstraint
        Returns an integer ID that is guaranteed to increase strictly monotonously for constraints within a pBody.
        Specified by:
        getMonotonousID in interface PConstraint