Package openllet.core.boxes.tbox.impl

Class UnaryTBox

  • public class UnaryTBox
extends java.lang.Object

    Copyright: Copyright (c) 2009

    Company: Clark & Parsia, LLC.

    Author:
    Evren Sirin

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.util.logging.Logger _logger  

    • Constructor Summary

      Constructors 
      Constructor Description
      UnaryTBox()  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void add​(openllet.aterm.ATermAppl sub, openllet.aterm.ATermAppl sup, java.util.Set<openllet.aterm.ATermAppl> explanation)  
      void print​(java.lang.Appendable out)  
      java.util.Iterator<Unfolding> unfold​(openllet.aterm.ATermAppl concept)  

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • _logger

        public static final java.util.logging.Logger _logger

    • Constructor Detail

      • UnaryTBox

        public UnaryTBox()

    • Method Detail

      • add

        public void add​(openllet.aterm.ATermAppl sub,
                openllet.aterm.ATermAppl sup,
                java.util.Set<openllet.aterm.ATermAppl> explanation)

      • unfold

        public java.util.Iterator<Unfolding> unfold​(openllet.aterm.ATermAppl concept)

      • print

        public void print​(java.lang.Appendable out)
           throws java.io.IOException
        Throws:
        java.io.IOException