Class Head

    • Constructor Detail

      • Head

        public Head()
        Constructor without storing the counter-instances.
      • Head

        public Head​(Instances instances)
        Constructor storing the counter-instances.
        Parameters:
        instances - The dataset.
    • Method Detail

      • canKeep

        public boolean canKeep​(Instance instance,
                               Literal newLit)
        Test if an instance can be kept as a counter-instance, if a new literal is added to this head.
        Specified by:
        canKeep in class LiteralSet
        Parameters:
        instance - The instance to test.
        newLit - The new literal.
        Returns:
        True if the instance is still a counter-instance (if the negation of the new literal satisfies the instance).
      • isIncludedIn

        public boolean isIncludedIn​(Rule otherRule)
        Test if this Head is included in a rule. It is the literals of this Head are contained in the head of the other rule, or if their negation is included in the body of the other rule.
        Specified by:
        isIncludedIn in class LiteralSet
        Parameters:
        otherRule - The rule to test.
        Returns:
        True if this set of literals is included in the rule.
      • toString

        public java.lang.String toString()
        Gives a String representation of this set of literals as a disjunction.
        Specified by:
        toString in class LiteralSet
      • getRevision

        public java.lang.String getRevision()
        Returns the revision string.
        Returns:
        the revision