类 Body

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

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

    • Body

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

      public Body(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 body.
      指定者:
      canKeep 在类中 LiteralSet
      参数:
      instance - The instance to test.
      newLit - The new literal.
      返回:
      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.
      指定者:
      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 conjunction.
      指定者:
      toString 在类中 LiteralSet
    • getRevision

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