Package openllet.core.boxes.tbox.impl

Class TuBox

  • All Implemented Interfaces:
    openllet.shared.tools.Logging
    public class TuBox
extends TBoxBase

    • Field Summary

    • Constructor Summary

      Constructors 
      Constructor Description
      TuBox​(TBoxExpImpl tbox)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean addDef​(openllet.aterm.ATermAppl axiom)  
      boolean addIfUnfoldable​(openllet.aterm.ATermAppl term)  
      void normalize()
      Normalize all the definitions in the Tu
      void print​(java.lang.Appendable out)  
      boolean removeDef​(openllet.aterm.ATermAppl axiom)  
      java.lang.String toString()  
      java.util.List<Unfolding> unfold​(openllet.aterm.ATermAppl c)  
      void updateDef​(openllet.aterm.ATermAppl axiom)  

      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

      • Methods inherited from interface openllet.shared.tools.Logging

        logger

    • Method Detail

      • addDef

        public boolean addDef​(openllet.aterm.ATermAppl axiom)
        Overrides:
        addDef in class TBoxBase

      • removeDef

        public boolean removeDef​(openllet.aterm.ATermAppl axiom)
        Overrides:
        removeDef in class TBoxBase

      • updateDef

        public void updateDef​(openllet.aterm.ATermAppl axiom)

      • unfold

        public java.util.List<Unfolding> unfold​(openllet.aterm.ATermAppl c)

      • normalize

        public void normalize()
        Normalize all the definitions in the Tu

      • addIfUnfoldable

        public boolean addIfUnfoldable​(openllet.aterm.ATermAppl term)

      • print

        public void print​(java.lang.Appendable out)

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object