Interface ImmutableRuleSet

All Superinterfaces:
Iterable<Rule>
All Known Subinterfaces:
Ontology, RuleSet
All Known Implementing Classes:
AbstractRuleSet, AnalyserRuleSet, DefaultOntology, IndexedByBodyPredicatesRuleSet, IndexedByHeadPredicatesRuleSet, LinkedListRuleSet
public interface ImmutableRuleSet extends Iterable<Rule>
Read-only view over a set of existential rules.
Author:
Clément Sipieter (INRIA) <clement@6pi.fr>

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    contains(Rule rule)
    Returns whether the specified rule is present in this set.
    boolean
    isEmpty()
    Returns whether this set contains no rule.
    Iterator<Rule>
    iterator()
     
    int
    size()
    Returns the number of rules contained in this set.

    Methods inherited from interface Iterable

    forEach, spliterator

  • Method Details

    • contains

      boolean contains(Rule rule)
      Returns whether the specified rule is present in this set.
      Parameters:
      rule - the rule to search for
      Returns:
      true if the rule is present

    • isEmpty

      boolean isEmpty()
      Returns whether this set contains no rule.
      Returns:
      true if this set is empty

    • iterator

      Iterator<Rule> iterator()
      Specified by:
      iterator in interface Iterable<Rule>

    • size

      int size()
      Returns the number of rules contained in this set.
      Returns:
      the number of rules contained in this set.