Package openllet.core.boxes.tbox.impl

Class BinaryTBox

  • public class BinaryTBox
extends java.lang.Object

    Copyright: Copyright (c) 2009

    Company: Clark & Parsia, LLC.

    Author:
    Evren Sirin

    • Constructor Summary

      Constructors 
      Constructor Description
      BinaryTBox()  

    • Method Summary

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

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • BinaryTBox

        public BinaryTBox()

    • Method Detail

      • add

        public void add​(BinarySet<openllet.aterm.ATermAppl> set,
                openllet.aterm.ATermAppl result,
                java.util.Set<openllet.aterm.ATermAppl> explanation)

      • unfold

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

      • contains

        public boolean contains​(openllet.aterm.ATermAppl concept)

      • print

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