类 Head

所有已实现的接口:
Serializable, Cloneable, RevisionHandler

public class Head extends LiteralSet
Class representing the head of a rule.
版本:
$Revision: 1.6 $
作者:
Amelie Deltour
另请参阅:
  • 构造器详细资料

    • Head

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

      public Head(Instances instances)
      Constructor storing the counter-instances.
      参数:
      instances - The dataset.
  • 方法详细资料

    • 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.
      指定者:
      canKeep 在类中 LiteralSet
      参数:
      instance - The instance to test.
      newLit - The new literal.
      返回:
      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.
      指定者:
      isIncludedIn 在类中 LiteralSet
      参数:
      otherRule - The rule to test.
      返回:
      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 disjunction.
      指定者:
      toString 在类中 LiteralSet
    • getRevision

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