Class Body

All Implemented Interfaces:
Serializable, Cloneable, RevisionHandler

public class Body extends LiteralSet
Class representing the body of a rule.
Version:
$Revision: 1.6 $
Author:
Amelie Deltour
See Also:
  • Constructor Details

    • Body

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

      public Body(Instances instances)
      Constructor storing the counter-instances.
      Parameters:
      instances - The dataset.
  • Method Details

    • 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 body.
      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 new literal satisfies the instance).
    • isIncludedIn

      public boolean isIncludedIn(Rule otherRule)
      Test if this Body is included in a rule. It is the literals of this Body are contained in the body of the other rule, or if their negation is included in the head 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 String toString()
      Gives a String representation of this set of literals as a conjunction.
      Specified by:
      toString in class LiteralSet
    • getRevision

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