Class DlAxiom

    • Constructor Summary

      Constructors 
      Constructor Description
      DlAxiom()  
    • Method Summary

      Modifier and Type Method Description
      abstract DlAxiom clone()
      Creates a deep copy of this formula
      java.util.Set<? extends Atom> getAtoms()
      Processes the set of all atoms which appear in this formula
      java.lang.Class<? extends Predicate> getPredicateCls()  
      abstract java.util.Set<Predicate> getPredicates()
      Processes the set of all predicates which appear in this formula
      abstract DlSignature getSignature()
      Returns the signature of the language of this formula.
      boolean isLiteral()  
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • DlAxiom

        public DlAxiom()
    • Method Detail

      • getSignature

        public abstract DlSignature getSignature()
        Description copied from interface: Formula
        Returns the signature of the language of this formula.
        Specified by:
        getSignature in interface Formula
        Returns:
        the signature of the language of this formula.
      • getAtoms

        public java.util.Set<? extends Atom> getAtoms()
        Description copied from interface: SimpleLogicalFormula
        Processes the set of all atoms which appear in this formula
        Specified by:
        getAtoms in interface SimpleLogicalFormula
        Returns:
        The set of all atoms
      • getPredicates

        public abstract java.util.Set<Predicate> getPredicates()
        Description copied from interface: SimpleLogicalFormula
        Processes the set of all predicates which appear in this formula
        Specified by:
        getPredicates in interface SimpleLogicalFormula
        Returns:
        all predicates that appear in this formula
      • isLiteral

        public boolean isLiteral()
        Specified by:
        isLiteral in interface SimpleLogicalFormula
        Returns:
        true if the formula represents a literal in the language or false otherwise